├── .gitignore ├── CoqMakefile ├── CoqMakefile.conf ├── Extract.v ├── LICENSE ├── Makefile ├── README.md ├── _CoqProject ├── dune ├── dune-project ├── planet.png ├── proof_check.ml ├── proof_check.mli └── src ├── Clauses.v ├── Cnf.v ├── Evaluation.v ├── Proof.v ├── Sat.v ├── Solver.v └── Solver_aux.v /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/.gitignore -------------------------------------------------------------------------------- /CoqMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/CoqMakefile -------------------------------------------------------------------------------- /CoqMakefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/CoqMakefile.conf -------------------------------------------------------------------------------- /Extract.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/Extract.v -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/_CoqProject -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- 1 | (library 2 | (name satlib)) 3 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.8) 2 | -------------------------------------------------------------------------------- /planet.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/planet.png -------------------------------------------------------------------------------- /proof_check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/proof_check.ml -------------------------------------------------------------------------------- /proof_check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/proof_check.mli -------------------------------------------------------------------------------- /src/Clauses.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Clauses.v -------------------------------------------------------------------------------- /src/Cnf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Cnf.v -------------------------------------------------------------------------------- /src/Evaluation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Evaluation.v -------------------------------------------------------------------------------- /src/Proof.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Proof.v -------------------------------------------------------------------------------- /src/Sat.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Sat.v -------------------------------------------------------------------------------- /src/Solver.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Solver.v -------------------------------------------------------------------------------- /src/Solver_aux.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/acorrenson/SATurne/HEAD/src/Solver_aux.v --------------------------------------------------------------------------------