issues
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
fixes for build with z3
#340
Closed
ffrohn
closed
9 months ago
ffrohn
commented
9 months ago
--z3
should not overwrite
--z3-home
--z3-home
should enable z3 (analogously to cvc5)
--z3
should not overwrite--z3-home
--z3-home
should enable z3 (analogously to cvc5)