mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
12 lines
112 B
Text
12 lines
112 B
Text
|
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
|