diff options
Diffstat (limited to 'sample/trick2015/ksk_2/abnormal.cnf')
| -rw-r--r-- | sample/trick2015/ksk_2/abnormal.cnf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sample/trick2015/ksk_2/abnormal.cnf b/sample/trick2015/ksk_2/abnormal.cnf new file mode 100644 index 0000000000..084303f041 --- /dev/null +++ b/sample/trick2015/ksk_2/abnormal.cnf @@ -0,0 +1,6 @@ +c Example CNF format file +c +p cnf 4 3 +1 3 -4 0 +4 0 2 +-3 |