/Satisfiability-Theory-in-Coq

Model-counting algorithm written in Coq

Primary LanguageCoq

Watchers