Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mikkelmilo/sat-solver-coq

A formalization of boolean formulae and SAT solver in Coq, along with some neat optimizers.
https://github.com/mikkelmilo/sat-solver-coq

Last synced: 8 days ago
JSON representation

A formalization of boolean formulae and SAT solver in Coq, along with some neat optimizers.

Awesome Lists containing this project