1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
1 Search Results
Search packages
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