A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
114
stars
43
forks
source link
Add the remaining smtlib string operators excluding the regex and the conversion operators #335
Closed
ntsis closed 1 year ago