rellic icon indicating copy to clipboard operation
rellic copied to clipboard
verified publisher icon lifting-bits

Investigate integration of other SMT solvers via `smt-switch`

Open surovic opened this issue 4 years ago • 0 comments

Smt-Switch is a generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers, including Z3, CVC5 and more.

This could provide access to different simplification approaches for example.

surovic avatar Dec 08 '21 12:12 surovic