Support get-unsat-assumptions in Z3 backend

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

Closed makaimann closed 2 years ago

makaimann commented 3 years ago

This PR adds support and tests get_unsat_assumptions for the Z3 backend.