diff options
Diffstat (limited to 'unit-tests/sat3.cnf')
| -rw-r--r-- | unit-tests/sat3.cnf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/unit-tests/sat3.cnf b/unit-tests/sat3.cnf new file mode 100644 index 0000000..2606f19 --- /dev/null +++ b/unit-tests/sat3.cnf @@ -0,0 +1,3 @@ +p cnf 1 2 +1 1 0 +-1 0 |