search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Implement subset-minimal unsat core #753

Closed Tomaqa closed 2 months ago

Tomaqa commented 2 months ago

We may get inspired by cvc5 API: https://cvc5.github.io/blog/2024/04/15/interfaces-for-understanding-cvc5.html