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
Stargazers
angelofb
bastianeicher
Germany
codgician
@Microsoft
desplesda
@thesecretlab and @yarnspinnertool
hackerzhuli
hstoklosa
London, UK
mhomde
Bullpen
naasking
Software Consultant
pantosha
vkensou