1 Search Results
msat
Library containing a SAT solver that can be parametrized by a theory
sat smt cdcl functor
Simon Cruanes Guillaume Bury
0.9.1
Apache-2.0
Used by 4 other packages