search

msakai / toysolver

My sandbox for experimenting with solver algorithms.
Other
154 stars 11 forks source link

Hash-consing Tseitin formula #73

Closed msakai closed 3 years ago