├── .github └── workflows │ └── main.yml ├── .gitignore ├── .header ├── .ocp-indent ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README.md ├── TODO.md ├── articles ├── icfp_2017.pdf ├── mcsat-vmcai2013.pdf ├── mcsat_design.pdf └── minisat.pdf ├── doc ├── deploy ├── index.txt └── release ├── dune ├── dune-project ├── icnf-solve.sh ├── msat-bin.opam ├── msat.opam ├── msat.sh ├── src ├── backend │ ├── Backend_intf.ml │ ├── Coq.ml │ ├── Coq.mli │ ├── Dedukti.ml │ ├── Dedukti.mli │ ├── Dot.ml │ ├── Dot.mli │ └── dune ├── backtrack │ ├── Backtrackable_ref.ml │ ├── Backtrackable_ref.mli │ ├── Msat_backtrack.ml │ └── dune ├── core │ ├── Heap.ml │ ├── Heap.mli │ ├── Heap_intf.ml │ ├── Internal.ml │ ├── Log.ml │ ├── Log.mli │ ├── Msat.ml │ ├── Solver.ml │ ├── Solver.mli │ ├── Solver_intf.ml │ ├── Vec.ml │ ├── Vec.mli │ ├── dune │ └── msat.mld ├── dune ├── index.mld ├── main │ ├── Dimacs_lex.mll │ ├── Dimacs_parse.mly │ ├── dune │ └── main.ml ├── sat │ ├── Int_lit.ml │ ├── Int_lit.mli │ ├── Msat_sat.ml │ ├── Msat_sat.mli │ └── dune ├── sudoku │ ├── dune │ └── sudoku_solve.ml └── tseitin │ ├── Msat_tseitin.ml │ ├── Msat_tseitin.mli │ ├── Tseitin_intf.ml │ └── dune ├── sudoku_solve.sh └── tests ├── Makefile ├── benchpress.sexp ├── bugs ├── double_atom.cnf └── undecided.icnf ├── dune ├── hanoi ├── README ├── hanoi4.cnf └── hanoi5.cnf ├── icnf-solve ├── dune ├── icnf_solve.ml └── lexer.mll ├── pigeon ├── README ├── hole10.cnf ├── hole6.cnf ├── hole7.cnf ├── hole8.cnf └── hole9.cnf ├── regression ├── .regression1.icnf.ref ├── .regression2.icnf.ref ├── regression1.icnf └── regression2.icnf ├── run ├── sat ├── hanoi4.cnf ├── ssa1.cnf ├── ssa2.cnf ├── ssa3.cnf ├── ssa4.cnf ├── test-000.cnf ├── test-002.smt2 ├── test-006.smt2 ├── test-007.smt2 ├── test-010.smt2 └── test-014.cnf ├── ssa ├── README ├── ssa0432-003.cnf ├── ssa2670-130.cnf ├── ssa2670-141.cnf ├── ssa6288-047.cnf ├── ssa7552-038.cnf ├── ssa7552-158.cnf ├── ssa7552-159.cnf └── ssa7552-160.cnf ├── sudoku ├── Makefile ├── sudoku.txt └── top1465.txt ├── test_api.ml └── unsat ├── bug-01.cnf ├── hole6.cnf ├── hole7.cnf ├── ssa5.cnf ├── ssa6.cnf ├── ssa7.cnf ├── ssa8.cnf ├── test-000.cnf ├── test-001.cnf ├── test-003.smt2 ├── test-004.smt2 ├── test-005.smt2 ├── test-008.smt2 ├── test-009.smt2 ├── test-010.smt2 ├── test-011.smt2 ├── test-012.smt2 └── test-013.smt2 /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/.gitignore -------------------------------------------------------------------------------- /.header: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/.header -------------------------------------------------------------------------------- /.ocp-indent: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/.ocp-indent -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/TODO.md -------------------------------------------------------------------------------- /articles/icfp_2017.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/articles/icfp_2017.pdf -------------------------------------------------------------------------------- /articles/mcsat-vmcai2013.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/articles/mcsat-vmcai2013.pdf -------------------------------------------------------------------------------- /articles/mcsat_design.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/articles/mcsat_design.pdf -------------------------------------------------------------------------------- /articles/minisat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/articles/minisat.pdf -------------------------------------------------------------------------------- /doc/deploy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/doc/deploy -------------------------------------------------------------------------------- /doc/index.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/doc/index.txt -------------------------------------------------------------------------------- /doc/release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/doc/release -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 3.0) 2 | -------------------------------------------------------------------------------- /icnf-solve.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/icnf-solve.sh -------------------------------------------------------------------------------- /msat-bin.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/msat-bin.opam -------------------------------------------------------------------------------- /msat.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/msat.opam -------------------------------------------------------------------------------- /msat.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/msat.sh -------------------------------------------------------------------------------- /src/backend/Backend_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Backend_intf.ml -------------------------------------------------------------------------------- /src/backend/Coq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Coq.ml -------------------------------------------------------------------------------- /src/backend/Coq.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Coq.mli -------------------------------------------------------------------------------- /src/backend/Dedukti.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Dedukti.ml -------------------------------------------------------------------------------- /src/backend/Dedukti.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Dedukti.mli -------------------------------------------------------------------------------- /src/backend/Dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Dot.ml -------------------------------------------------------------------------------- /src/backend/Dot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/Dot.mli -------------------------------------------------------------------------------- /src/backend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backend/dune -------------------------------------------------------------------------------- /src/backtrack/Backtrackable_ref.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backtrack/Backtrackable_ref.ml -------------------------------------------------------------------------------- /src/backtrack/Backtrackable_ref.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backtrack/Backtrackable_ref.mli -------------------------------------------------------------------------------- /src/backtrack/Msat_backtrack.ml: -------------------------------------------------------------------------------- 1 | 2 | module Ref = Backtrackable_ref 3 | -------------------------------------------------------------------------------- /src/backtrack/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/backtrack/dune -------------------------------------------------------------------------------- /src/core/Heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Heap.ml -------------------------------------------------------------------------------- /src/core/Heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Heap.mli -------------------------------------------------------------------------------- /src/core/Heap_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Heap_intf.ml -------------------------------------------------------------------------------- /src/core/Internal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Internal.ml -------------------------------------------------------------------------------- /src/core/Log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Log.ml -------------------------------------------------------------------------------- /src/core/Log.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Log.mli -------------------------------------------------------------------------------- /src/core/Msat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Msat.ml -------------------------------------------------------------------------------- /src/core/Solver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Solver.ml -------------------------------------------------------------------------------- /src/core/Solver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Solver.mli -------------------------------------------------------------------------------- /src/core/Solver_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Solver_intf.ml -------------------------------------------------------------------------------- /src/core/Vec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Vec.ml -------------------------------------------------------------------------------- /src/core/Vec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/Vec.mli -------------------------------------------------------------------------------- /src/core/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/dune -------------------------------------------------------------------------------- /src/core/msat.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/core/msat.mld -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- 1 | 2 | (documentation 3 | (package msat) 4 | (mld_files :standard)) 5 | -------------------------------------------------------------------------------- /src/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/index.mld -------------------------------------------------------------------------------- /src/main/Dimacs_lex.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/main/Dimacs_lex.mll -------------------------------------------------------------------------------- /src/main/Dimacs_parse.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/main/Dimacs_parse.mly -------------------------------------------------------------------------------- /src/main/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/main/dune -------------------------------------------------------------------------------- /src/main/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/main/main.ml -------------------------------------------------------------------------------- /src/sat/Int_lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sat/Int_lit.ml -------------------------------------------------------------------------------- /src/sat/Int_lit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sat/Int_lit.mli -------------------------------------------------------------------------------- /src/sat/Msat_sat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sat/Msat_sat.ml -------------------------------------------------------------------------------- /src/sat/Msat_sat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sat/Msat_sat.mli -------------------------------------------------------------------------------- /src/sat/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sat/dune -------------------------------------------------------------------------------- /src/sudoku/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sudoku/dune -------------------------------------------------------------------------------- /src/sudoku/sudoku_solve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/sudoku/sudoku_solve.ml -------------------------------------------------------------------------------- /src/tseitin/Msat_tseitin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/tseitin/Msat_tseitin.ml -------------------------------------------------------------------------------- /src/tseitin/Msat_tseitin.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/tseitin/Msat_tseitin.mli -------------------------------------------------------------------------------- /src/tseitin/Tseitin_intf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/tseitin/Tseitin_intf.ml -------------------------------------------------------------------------------- /src/tseitin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/src/tseitin/dune -------------------------------------------------------------------------------- /sudoku_solve.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/sudoku_solve.sh -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/benchpress.sexp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/benchpress.sexp -------------------------------------------------------------------------------- /tests/bugs/double_atom.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/bugs/double_atom.cnf -------------------------------------------------------------------------------- /tests/bugs/undecided.icnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/bugs/undecided.icnf -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/hanoi/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/hanoi/README -------------------------------------------------------------------------------- /tests/hanoi/hanoi4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/hanoi/hanoi4.cnf -------------------------------------------------------------------------------- /tests/hanoi/hanoi5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/hanoi/hanoi5.cnf -------------------------------------------------------------------------------- /tests/icnf-solve/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/icnf-solve/dune -------------------------------------------------------------------------------- /tests/icnf-solve/icnf_solve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/icnf-solve/icnf_solve.ml -------------------------------------------------------------------------------- /tests/icnf-solve/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/icnf-solve/lexer.mll -------------------------------------------------------------------------------- /tests/pigeon/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/README -------------------------------------------------------------------------------- /tests/pigeon/hole10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/hole10.cnf -------------------------------------------------------------------------------- /tests/pigeon/hole6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/hole6.cnf -------------------------------------------------------------------------------- /tests/pigeon/hole7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/hole7.cnf -------------------------------------------------------------------------------- /tests/pigeon/hole8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/hole8.cnf -------------------------------------------------------------------------------- /tests/pigeon/hole9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/pigeon/hole9.cnf -------------------------------------------------------------------------------- /tests/regression/.regression1.icnf.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/regression/.regression1.icnf.ref -------------------------------------------------------------------------------- /tests/regression/.regression2.icnf.ref: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/regression/.regression2.icnf.ref -------------------------------------------------------------------------------- /tests/regression/regression1.icnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/regression/regression1.icnf -------------------------------------------------------------------------------- /tests/regression/regression2.icnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/regression/regression2.icnf -------------------------------------------------------------------------------- /tests/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/run -------------------------------------------------------------------------------- /tests/sat/hanoi4.cnf: -------------------------------------------------------------------------------- 1 | ../hanoi/hanoi4.cnf -------------------------------------------------------------------------------- /tests/sat/ssa1.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa7552-038.cnf -------------------------------------------------------------------------------- /tests/sat/ssa2.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa7552-158.cnf -------------------------------------------------------------------------------- /tests/sat/ssa3.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa7552-159.cnf -------------------------------------------------------------------------------- /tests/sat/ssa4.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa7552-160.cnf -------------------------------------------------------------------------------- /tests/sat/test-000.cnf: -------------------------------------------------------------------------------- 1 | c Status: SAT 2 | p cnf 2 1 3 | 1 2 0 4 | -------------------------------------------------------------------------------- /tests/sat/test-002.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sat/test-002.smt2 -------------------------------------------------------------------------------- /tests/sat/test-006.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sat/test-006.smt2 -------------------------------------------------------------------------------- /tests/sat/test-007.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sat/test-007.smt2 -------------------------------------------------------------------------------- /tests/sat/test-010.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sat/test-010.smt2 -------------------------------------------------------------------------------- /tests/sat/test-014.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sat/test-014.cnf -------------------------------------------------------------------------------- /tests/ssa/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/README -------------------------------------------------------------------------------- /tests/ssa/ssa0432-003.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa0432-003.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa2670-130.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa2670-130.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa2670-141.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa2670-141.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa6288-047.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa6288-047.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa7552-038.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa7552-038.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa7552-158.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa7552-158.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa7552-159.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa7552-159.cnf -------------------------------------------------------------------------------- /tests/ssa/ssa7552-160.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/ssa/ssa7552-160.cnf -------------------------------------------------------------------------------- /tests/sudoku/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sudoku/Makefile -------------------------------------------------------------------------------- /tests/sudoku/sudoku.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sudoku/sudoku.txt -------------------------------------------------------------------------------- /tests/sudoku/top1465.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/sudoku/top1465.txt -------------------------------------------------------------------------------- /tests/test_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/test_api.ml -------------------------------------------------------------------------------- /tests/unsat/bug-01.cnf: -------------------------------------------------------------------------------- 1 | ../bugs/double_atom.cnf -------------------------------------------------------------------------------- /tests/unsat/hole6.cnf: -------------------------------------------------------------------------------- 1 | ../pigeon/hole6.cnf -------------------------------------------------------------------------------- /tests/unsat/hole7.cnf: -------------------------------------------------------------------------------- 1 | ../pigeon/hole7.cnf -------------------------------------------------------------------------------- /tests/unsat/ssa5.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa0432-003.cnf -------------------------------------------------------------------------------- /tests/unsat/ssa6.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa2670-130.cnf -------------------------------------------------------------------------------- /tests/unsat/ssa7.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa2670-141.cnf -------------------------------------------------------------------------------- /tests/unsat/ssa8.cnf: -------------------------------------------------------------------------------- 1 | ../ssa/ssa6288-047.cnf -------------------------------------------------------------------------------- /tests/unsat/test-000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-000.cnf -------------------------------------------------------------------------------- /tests/unsat/test-001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-001.cnf -------------------------------------------------------------------------------- /tests/unsat/test-003.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-003.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-004.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-004.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-005.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-005.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-008.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-008.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-009.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-009.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-010.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-010.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-011.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-011.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-012.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-012.smt2 -------------------------------------------------------------------------------- /tests/unsat/test-013.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Gbury/mSAT/HEAD/tests/unsat/test-013.smt2 --------------------------------------------------------------------------------