sat2.cnf « unit-tests - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

about summary refs log tree commit diff stats

path: root/unit-tests/sat2.cnf

blob: fa572f4b41d6e095f928151bee5497e0d731c01d (plain)

p cnf 3 5
1       2       0
1       3       0
2       0
2       3       0
-2      0