dreal4 icon indicating copy to clipboard operation
dreal4 copied to clipboard
verified publisher icon dreal

picosat push/pop

Open soonho-tri opened this issue 6 years ago • 0 comments

Related #174, #175, #191

We're using picosat_{push,pop} which are experimental. We've already contacted the picosat team but I am not sure that when the problem can be resolved. My plan is to switch to another SAT solver (or implement our own).

soonho-tri avatar Apr 11 '20 22:04 soonho-tri