API Doc
Awesome Scala
Login
tomasmikula
/
nutcracker
0.2
GitHub
Problem solving à la carte
propagators
constraint-programming
scala
monotonic-refinement
sat-solver
Scala versions:
3.x
Project
Artifacts
5 Versions
Badges
nutcracker
Examples
SAT
Knights and Knaves
Sudoku
Statistics
6 watchers
1 Contributors
20 Stars
1 Forks
664 Commits
0 Open issues
0 Dependents
6 Dependencies
scala/scala3
3.1.1
scalaprops/scalaprops
0.8.3
scalatest/scalatest
test
3.2.10
scalatest/scalatestplus-scalacheck
test
3.2.10.0
scalaz/scalaz
7.4.0-M9
typelevel/algebra
2.2.3
No Dependent