CoqSAT
CoqSAT is an attempt to make a highly simple SAT solver but proven using Coq.
Fabien Siron
Research Engineer | Lecturer
My interests include real-time systems (more broadly cyber-physical systems) and formal methods.
CoqSAT is an attempt to make a highly simple SAT solver but proven using Coq.
My interests include real-time systems (more broadly cyber-physical systems) and formal methods.