Search results

picosat

picosat SAT solver

• picosat
• sat-solver
• solver
• sat

dirkschumacher

published 1.2.0 • 6 years agopublished 1.2.0 6 years ago

@hakerh400/puzzle-games

Puzzle games

• puzzle
• game
• csp
• sat
• sat-solver
• logic
• theorem
• constraint
• js
• javascript
• node
• nodejs
• node.js
• electron
• View more

hakerh400

published 1.0.0 • 3 years agopublished 1.0.0 3 years ago