diff options
author | mame <mame@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2015-12-11 14:37:06 +0000 |
---|---|---|
committer | mame <mame@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2015-12-11 14:37:06 +0000 |
commit | 5c28308f9fbb44bfc73fe8af58fdcce0ad0379f2 (patch) | |
tree | b096f65a2e92c00028406ba988cd5e55094ab2f4 /sample/trick2015/ksk_2/unsat.cnf | |
parent | d65bc80d3f71bf5423a6a6d9b3f8d4ff2faf6bd5 (diff) |
* sample/trick2015/: added the award-winning entries of TRICK 2015.
See https://github.com/tric/trick2015 for the contest outline.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@53041 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
Diffstat (limited to 'sample/trick2015/ksk_2/unsat.cnf')
-rw-r--r-- | sample/trick2015/ksk_2/unsat.cnf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sample/trick2015/ksk_2/unsat.cnf b/sample/trick2015/ksk_2/unsat.cnf new file mode 100644 index 0000000000..7283933a9f --- /dev/null +++ b/sample/trick2015/ksk_2/unsat.cnf @@ -0,0 +1,11 @@ +c +c This is a sample input file. +c (unsatisfiable) +c +p cnf 3 5 +1 -2 3 0 +-1 2 0 +-2 -3 0 +1 2 -3 0 +1 3 0 +-1 -2 3 0 |