Search *

1 results

Contributing Search

Filters

Languages

Scala 3.x (1)

Platforms

JVM (1)

Topics

constraint-programming (1)
monotonic-refinement (1)
propagators (1)
sat-solver (1)
scala (1)

tomasmikula/nutcracker 0.2

Problem solving à la carte

Scala versions: 3.x

monotonic-refinement scala constraint-programming sat-solver propagators

20 1