AdamYuan/SATv2

An efficient c++ implementation of SASAT algorithm for solving boolean satisfiability problem

Language: C++ - Size: 599 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0