search

ultimate-pa / smtinterpol

SMTInterpol interpolating SMT solver
GNU Lesser General Public License v3.0
60 stars 17 forks source link

Add QF_UFBVFP and QF_UFNIRA #149

Closed Heizmann closed 4 months ago

jhoenicke commented 4 months ago

I guess at some point we should parse the logic instead of enumerating them...