search

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

fix re-ssat bug of unit propogation #1

Closed qmo1222 closed 4 years ago