https://github.com/maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver
https://github.com/maxtuno/slime-sat-solver

cnf cnf-clauses cnf-encoding sat sat-solver satisfiability

Last synced: 20 days ago
JSON representation

A Free World Class High Performance SAT Solver

• Host: GitHub
• URL: https://github.com/maxtuno/slime-sat-solver
• Owner: maxtuno
• License: other
• Created: 2019-04-14T11:43:38.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2021-07-12T14:24:00.000Z (over 3 years ago)
• Last Synced: 2024-10-01T06:04:32.694Z (5 months ago)
• Topics: cnf, cnf-clauses, cnf-encoding, sat, sat-solver, satisfiability
• Language: JavaScript
• Homepage: https://maxtuno.github.io/slime-sat-solver
• Size: 285 MB
• Stars: 20
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project

• awesome-sat-solvers - code