Geeks
glnc
/
microsat
Simple CDCL SAT solver
Primary Language
C
MIT License
MIT
microsat GitHub
Markdown
Readme
4
Issues
2
Stargazers
2
Watchers
Stargazers
cbettinger
Trier University of Applied Sciences
grosa1
University of Molise - UNIMOL