[wip] A modular library for CDCL(T) SMT solvers, with proof generation.
Primary LanguageSMTApache License 2.0Apache-2.0
No one’s star this repository yet.