Geeks
nano-byte
/
sat-solver
DPLL boolean satisfiability solver for .NET
Primary Language
C#
MIT License
MIT
sat-solver Home Page
sat-solver GitHub
Markdown
Readme
2
Issues
10
Stargazers
3
Watchers
Watchers
bastianeicher
Germany
eemailme
jhcloos