Geeks
mrmarkwell
/
SimpleSATc
Simple SAT solver using the DPLL algorithm
Primary Language
C
SimpleSATc GitHub
Markdown
Readme
1
Issue
6
Stargazers
2
Watchers
Stargazers
Achilles-10
Huazhong University of Science and Technology, Wuhan, China
CIB
Passau
grosa1
University of Molise - UNIMOL
Mirakek
mrmarkwell
zzyaoyihenshuang