Lib.rs

› Keywords #constraint-solver #constraints-solver #constraint-programming #cp

#mini-zinc


  1. pumpkin-propagators

    The propagators of the Pumpkin constraint programming solver

    v0.4.0 #constraint-programming #propagator #pumpkin #constraint-solver #constraints-solver #propagation #integer-division #cp #lazy-evaluation #mini-zinc

  2. pumpkin-core

    The core of the Pumpkin constraint programming solver

    v0.4.0 130 #constraints-solver #constraint-solver #constraint-programming #cp #variables-numbers #lazy-evaluation #integer-division #optimization-solver #mini-zinc

  3. pumpkin-solver

    The Pumpkin combinatorial optimisation solver library

    v0.4.0 200 #pumpkin #constraint-solver #optimization-solver #constraints-solver #constraint-programming #combinatorial-optimization #cp #mini-zinc #lazy-evaluation

  4. pumpkin-constraints

    The constraints of the Pumpkin constraint programming solver

    v0.4.0 #constraints-solver #constraint-solver #constraint-programming #pumpkin #cp #integer-division #lazy-evaluation #cumulative #enforce #mini-zinc

  5. huub

    CP+SAT solver framework built to be reliable, performant, and extensible

    v100.1.0 29K #optimization #sat #flat-zinc #mini-zinc #lcg

  6. flatzinc-serde

    FlatZinc serialization and deserialization

    v0.5.1 600 #serialization #flat-zinc #mini-zinc #optimization #serde

  7. zelen

    Direct MiniZinc to Selen Solver

    v0.5.1 #puzzle-solver #constraint-solver #mini-zinc #csp #puzzle

  8. dzn-rs

    dealing with DZN files used in the MiniZinc language

    v0.2.2 950 #mini-zinc #data-file #parser #parsed #source

  9. huub-cli

    CLI tool for the Huub CP+SAT solver framework

    v100.1.0 #optimization #sat #flat-zinc #mini-zinc #lcg

    10. Try searching with DuckDuckGo.