sortion/rocq-sat
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
A study on a proven SAT prover with Rocq
2 commits 1 branch 0 tags 40 KiB
Find a file
Exact
Samuel Ortion 9c0a08a305
 Still a long way to go
2026-04-24 21:56:52 +02:00
_RocqProject Initial Sat formula definition 2026-04-22 18:00:01 +02:00
README.md Still a long way to go 2026-04-24 21:56:52 +02:00
RocqMakefile Initial Sat formula definition 2026-04-22 18:00:01 +02:00
RocqMakefile.conf Initial Sat formula definition 2026-04-22 18:00:01 +02:00
Sat.v Still a long way to go 2026-04-24 21:56:52 +02:00

README.md

rocq-sat : A proven SAT prover

Reference

Subject: https://lmf.cnrs.fr/downloads/Margulies/projet-rocq.pdf