1 Search Results
mc2
A mcsat-based SMT solver in pure OCaml
sat smt mcsat
Simon Cruanes Guillaume Bury
0.1
Apache
Used by 0 other packages