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

about summary refs log tree commit diff stats

path: root/unit-tests/sat7.cnf

blob: da8ffa2976d019245f9b2e4402248caccc9df95f (plain)

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