├── .github └── workflows │ ├── gh-pages.yml │ └── main.yml ├── .gitignore ├── .ocamlformat ├── CHANGELOG.md ├── LICENSE ├── Makefile ├── README.md ├── dune-project ├── examples └── icnf-solve │ ├── dune │ ├── icnf_solve.ml │ └── lexer.mll ├── minisat.opam ├── src ├── .clangd ├── Solver.cc ├── dune ├── libminisat_stubs.cpp ├── minisat-cpp │ ├── LICENSE │ ├── README │ ├── core │ │ ├── .clangd │ │ ├── Dimacs.h │ │ ├── Main.cc │ │ ├── Makefile │ │ ├── Solver.cc │ │ ├── Solver.h │ │ ├── SolverTypes.h │ │ └── depend.mk │ ├── doc │ │ └── ReleaseNotes-2.2.0.txt │ ├── mtl │ │ ├── .clangd │ │ ├── Alg.h │ │ ├── Alloc.h │ │ ├── Heap.h │ │ ├── IntTypes.h │ │ ├── Map.h │ │ ├── Queue.h │ │ ├── Vec.h │ │ ├── XAlloc.h │ │ ├── config.mk │ │ └── template.mk │ ├── simp │ │ ├── Main.cc │ │ ├── Makefile │ │ ├── SimpSolver.cc │ │ └── SimpSolver.h │ └── utils │ │ ├── .clangd │ │ ├── Makefile │ │ ├── Options.cc │ │ ├── Options.h │ │ ├── ParseUtils.h │ │ ├── System.cc │ │ └── System.h ├── minisat.ml └── minisat.mli └── tests ├── dune ├── icnf ├── dune ├── regression1.icnf ├── regression1.icnf.expected ├── regression2.icnf └── regression2.icnf.expected ├── phole.ml └── test1.ml /.github/workflows/gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/.github/workflows/gh-pages.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | (name minisat) 3 | -------------------------------------------------------------------------------- /examples/icnf-solve/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/examples/icnf-solve/dune -------------------------------------------------------------------------------- /examples/icnf-solve/icnf_solve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/examples/icnf-solve/icnf_solve.ml -------------------------------------------------------------------------------- /examples/icnf-solve/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/examples/icnf-solve/lexer.mll -------------------------------------------------------------------------------- /minisat.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/minisat.opam -------------------------------------------------------------------------------- /src/.clangd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/.clangd -------------------------------------------------------------------------------- /src/Solver.cc: -------------------------------------------------------------------------------- 1 | minisat-cpp/core/Solver.cc -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/dune -------------------------------------------------------------------------------- /src/libminisat_stubs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/libminisat_stubs.cpp -------------------------------------------------------------------------------- /src/minisat-cpp/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/LICENSE -------------------------------------------------------------------------------- /src/minisat-cpp/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/README -------------------------------------------------------------------------------- /src/minisat-cpp/core/.clangd: -------------------------------------------------------------------------------- 1 | 2 | CompileFlags: 3 | Add: [--std=c++11, -I, ..] 4 | -------------------------------------------------------------------------------- /src/minisat-cpp/core/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/Dimacs.h -------------------------------------------------------------------------------- /src/minisat-cpp/core/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/Main.cc -------------------------------------------------------------------------------- /src/minisat-cpp/core/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/Makefile -------------------------------------------------------------------------------- /src/minisat-cpp/core/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/Solver.cc -------------------------------------------------------------------------------- /src/minisat-cpp/core/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/Solver.h -------------------------------------------------------------------------------- /src/minisat-cpp/core/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/SolverTypes.h -------------------------------------------------------------------------------- /src/minisat-cpp/core/depend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/core/depend.mk -------------------------------------------------------------------------------- /src/minisat-cpp/doc/ReleaseNotes-2.2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/doc/ReleaseNotes-2.2.0.txt -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/.clangd: -------------------------------------------------------------------------------- 1 | 2 | CompileFlags: 3 | Add: [--std=c++11, -I, ..] 4 | -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Alg.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Alloc.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Heap.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/IntTypes.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Map.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Queue.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/Vec.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/XAlloc.h -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/config.mk -------------------------------------------------------------------------------- /src/minisat-cpp/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/mtl/template.mk -------------------------------------------------------------------------------- /src/minisat-cpp/simp/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/simp/Main.cc -------------------------------------------------------------------------------- /src/minisat-cpp/simp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/simp/Makefile -------------------------------------------------------------------------------- /src/minisat-cpp/simp/SimpSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/simp/SimpSolver.cc -------------------------------------------------------------------------------- /src/minisat-cpp/simp/SimpSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/simp/SimpSolver.h -------------------------------------------------------------------------------- /src/minisat-cpp/utils/.clangd: -------------------------------------------------------------------------------- 1 | CompileFlags: 2 | Add: [--std=c++11, -I, ..] 3 | -------------------------------------------------------------------------------- /src/minisat-cpp/utils/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/Makefile -------------------------------------------------------------------------------- /src/minisat-cpp/utils/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/Options.cc -------------------------------------------------------------------------------- /src/minisat-cpp/utils/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/Options.h -------------------------------------------------------------------------------- /src/minisat-cpp/utils/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/ParseUtils.h -------------------------------------------------------------------------------- /src/minisat-cpp/utils/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/System.cc -------------------------------------------------------------------------------- /src/minisat-cpp/utils/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat-cpp/utils/System.h -------------------------------------------------------------------------------- /src/minisat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat.ml -------------------------------------------------------------------------------- /src/minisat.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/src/minisat.mli -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/icnf/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/icnf/dune -------------------------------------------------------------------------------- /tests/icnf/regression1.icnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/icnf/regression1.icnf -------------------------------------------------------------------------------- /tests/icnf/regression1.icnf.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/icnf/regression1.icnf.expected -------------------------------------------------------------------------------- /tests/icnf/regression2.icnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/icnf/regression2.icnf -------------------------------------------------------------------------------- /tests/icnf/regression2.icnf.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/icnf/regression2.icnf.expected -------------------------------------------------------------------------------- /tests/phole.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/phole.ml -------------------------------------------------------------------------------- /tests/test1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/c-cube/ocaml-minisat/HEAD/tests/test1.ml --------------------------------------------------------------------------------