search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Support check-sat-assuming #755

Open blishko opened 2 months ago

blishko commented 2 months ago

It would be nice to have a proper support for SMT-LIB2's check-sat-assuming command. Both in the SMT-LIB frontend and as an API function.