MCSAT support push and pop

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

363 stars 45 forks source link

Closed bobot closed 11 months ago

bobot commented 12 months ago

The code is present and it is selected in tests.

disteph commented 11 months ago

That change is already in the #450 merge request.