mios version 1.5.1 #47 - Githubissues

shnarazk / mios

A SAT solver written in Haskell.

https://gitlab.com/satisfiability01/mios/

GNU General Public License v3.0

39 stars 3 forks source link

mios version 1.5.1 #47 #47

Closed shnarazk closed 6 years ago

shnarazk commented 6 years ago

[x] binary clause optimization; #48 #51 ➡️ suspended
[x] fix a bug on UPDATEVARACTIVITY trick #52

changelog

fix a bug in simplifyDB
revise VARUPDATEACTIVITY (#52)
revise blockers (#53)
refactor mios.cabal

shnarazk commented 6 years ago

cactus-mios-1 5 1