sahands / node-simple-sat

Simple recursive watch-list based SAT solver.

Geek Repo

Github PK Tool