CoqSAT

Dec 1, 2020
Go to Project Site Code

CoqSAT is an attempt to make a highly simple SAT solver but proven using Coq.

Fabien Siron
Fabien Siron
Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.