A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Home Page:https://c-cube.github.io/sidekick/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool