Geeks
nmanthey
/
riss-solver
sequential and parallel SAT solver
Primary Language
C++
GNU Lesser General Public License v2.1
LGPL-2.1
riss-solver GitHub
Markdown
Readme
7
Issues
8
Stargazers
3
Watchers
Watchers
jhcloos
nmanthey
DvonHolten
Hamburg