Ekdohibs
/
toy-smt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2 Commits
1 Branch
0 Tags
181 KiB
OCaml 65.1%
TeX 17.9%
Standard ML 12.2%
Makefile 2.5%
Python 2.3%
 
 
 
 
 
Go to file
Ekdohibs 6ac0d46656 Add license and README 2018-11-07 09:47:34 +01:00
LICENSE Add license and README 2018-11-07 09:47:34 +01:00
Makefile Initial commit 2018-11-07 09:40:16 +01:00
README.md Add license and README 2018-11-07 09:47:34 +01:00
common.ml Initial commit 2018-11-07 09:40:16 +01:00
debug.ml Initial commit 2018-11-07 09:40:16 +01:00
main.ml Initial commit 2018-11-07 09:40:16 +01:00
options.ml Initial commit 2018-11-07 09:40:16 +01:00
parray.ml Initial commit 2018-11-07 09:40:16 +01:00
parray.mli Initial commit 2018-11-07 09:40:16 +01:00
parser.ml Initial commit 2018-11-07 09:40:16 +01:00
pertersen.cnfuf Initial commit 2018-11-07 09:40:16 +01:00
rapport.tex Initial commit 2018-11-07 09:40:16 +01:00
sat.ml Initial commit 2018-11-07 09:40:16 +01:00
solver.ml Initial commit 2018-11-07 09:40:16 +01:00
solver.mli Initial commit 2018-11-07 09:40:16 +01:00
stress.py Initial commit 2018-11-07 09:40:16 +01:00
union_find.ml Initial commit 2018-11-07 09:40:16 +01:00
union_find.mli Initial commit 2018-11-07 09:40:16 +01:00
zebra.cnfuf Initial commit 2018-11-07 09:40:16 +01:00

README.md

This project is the one requested for the ENS course "Semantics and applications to verification".

--

It contains an implementation of a small SMT solver, for SAT with the theory of equality. The task description can be found here (mirror).