A new branch bitvector256 to evaluate decision level's window size fo…

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

Closed shnarazk closed 6 years ago

shnarazk commented 6 years ago

The conclusion is it's completely my misunderstanding.

shnarazk commented 6 years ago

cactus-sc17main-510-smithi