ruby--ruby/sample/trick2015/ksk_2/unsat.cnf at 6c2aa8689ade82578e9e16be37e21e16eb7ce069 - kotovalexarian-likes-github/ruby--ruby - Forgejo by Causa Arcana

kotovalexarian-likes-github/ruby--ruby

mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00

mame 5c28308f9f * 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

2015-12-11 14:37:06 +00:00

11 lines

112 B

INI

Raw Blame History

 c
 c This is a sample input file.
 c (unsatisfiable)
 c
 p cnf 3 5
 -2 3 0
 -1 2 0
 -2 -3 0
 2 -3 0
 3 0
 -1 -2 3 0