diff options
Diffstat (limited to 'sample/trick2015/ksk_2/sample.cnf')
-rw-r--r-- | sample/trick2015/ksk_2/sample.cnf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sample/trick2015/ksk_2/sample.cnf b/sample/trick2015/ksk_2/sample.cnf new file mode 100644 index 0000000000..295f81c942 --- /dev/null +++ b/sample/trick2015/ksk_2/sample.cnf @@ -0,0 +1,9 @@ +c +c This is a sample input file. +c +p cnf 3 5 + 1 -2 3 0 +-1 2 0 +-2 -3 0 + 1 2 -3 0 + 1 3 0 |