GitHub topics: sasat-algorithm
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

Related Keywords