chinefed / easysat Goto Github PK
View Code? Open in Web Editor NEWExperimental SAT solver written in C language. The program uses bitmaps to represent the search state, and bitwise operations are at the backbone of the algorithm implementation.
License: MIT License