search

cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5
Other
6 stars 9 forks source link

Unsat core #91

Closed LaorS closed 6 months ago

LaorS commented 1 year ago

Adding the function unsat_core in class Solver