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