diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-21 10:08:10 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-21 10:08:10 -0700 |
| commit | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (patch) | |
| tree | 78ad136c8d152b881fc96bf268c8cfa1e006e00c /cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf | |
| parent | 397f4d53dd99aec8e7333cb19987cc1445e3988a (diff) | |
change solve to simp, and fix format
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf new file mode 100644 index 000000000..cdd2f58fe --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/tests/cnf-files/xor.cnf @@ -0,0 +1,5 @@ +c RUN: %solver %s | %OutputCheck %s +p cnf 1 1 +x1 0 +c CHECK: s SATISFIABLE +c CHECK: v 1 0
\ No newline at end of file |