sestate: fix isfeasible()
Call is_sat() from state, not from the solver. Otherwise we'll get no try_hard.
parent
2569588e
Please register or sign in to comment
Call is_sat() from state, not from the solver. Otherwise we'll get no try_hard.