search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103 stars 40 forks source link

Use common Cadical dependency for various solvers #350

Closed CyanoKobalamyne closed 2 months ago

CyanoKobalamyne commented 2 months ago

Fixes #349.