Giters
TomasMikula
/
nutcracker
Problem solving à la carte
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
20
Watchers:
6
Issues:
0
Forks:
1
constraint-programming
monotonic-refinement
propagators
sat-solver
scala
nutcracker
Examples
SAT
Knights and Knaves
Sudoku
About
Problem solving à la carte
constraint-programming
monotonic-refinement
propagators
sat-solver
scala
Languages
Language:
Scala
100.0%