Lib.rs

› Search #constraints-solver #cp #flat-zinc #constraint-solver #propagation

  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. propaga-cli

    Command-line interface for the Propaga constraint solver

    v1.0.0 #flat-zinc #propagation #constraints-solver #cp #solver

  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. 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

  7. propaga-flatzinc

    FlatZinc subset parser and compiler for Propaga

    v1.0.0 #flat-zinc #constraints-solver #propagation #solver #cp

  8. propaga-domains

    Domain implementations for the Propaga constraint solver

    v1.0.0 #flat-zinc #constraints-solver #propagation #cp #solver

  9. zelen

    Direct MiniZinc to Selen Solver

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

  10. flatzinc-serde

    FlatZinc serialization and deserialization

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

  11. propaga-core

    Core types and traits for the Propaga constraint solver

    v1.0.0 #constraints-solver #flat-zinc #propagation #cp #solver

  12. dzn-rs

    dealing with DZN files used in the MiniZinc language

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

    13. Try searching with DuckDuckGo or on crates.io.


  13. huub-cli

    CLI tool for the Huub CP+SAT solver framework

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