scaladex logo
    Awesome Scala Login

    tomasmikula / nutcracker   0.1.9

    GitHub

    Problem solving à la carte

    • sat-solver
    • monotonic-refinement
    • scala
    • propagators
    • constraint-programming
    Scala versions: 3.x 2.13 2.12
    • Project
    • 5 Versions
    • Badges

    nutcracker

    nutcracker image

    Examples

    • SAT
    • Knights and Knaves
    • Sudoku

    Statistics

    • 6 watchers
    • 1 Contributors
    • 20 Stars
    • 1 Forks
    • 664 Commits
    • 0 Open issues
    • 0 Dependents

    Contributors

    6 Dependencies

    • lampepfl/dotty
      3.1.0
    • 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

    • Scaladex
    • FAQs
    • Report an Issue
    • Follow us:
    powered by Scala Center powered by Bintray powered by Sonatype