Name		Name	Last commit message	Last commit date
Latest commit History 664 Commits
project		project
src		src
.gitignore		.gitignore
README.md		README.md
build.sbt		build.sbt
nutcracker.svg		nutcracker.svg
version.sbt		version.sbt

Repository files navigation

nutcracker

Examples

About

Problem solving à la carte

constraint-programming monotonic-refinement propagators sat-solver scala

22 stars

4 watching

Report repository

Releases

Packages

Used by

Contributors

Languages