adnahmed / sidekick

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

https://c-cube.github.io/sidekick/

Geek Repo

Github PK Tool