search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
12 stars 1 forks source link

`solveOptimized` has wrong places for `push`/`pop` #99

Closed bruderj15 closed 2 months ago

bruderj15 commented 2 months ago

solveOptimizeds current stack usage is weird. Fix. Also bugs out if given an Unsat problem because we use solve, which always runs get-model.

bruderj15 commented 2 months ago

Also allow providing a step-size.