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

about summary refs log tree commit diff stats

path: root/unit-tests/sat6.cnf

blob: 0c896192362269e8179e7f0d827c8330168db43a (plain)

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