Lib.rs

› Search #optimization-solver #constraint-programming #cp #lazy-evaluation

  1. pumpkin-solver

    The Pumpkin combinatorial optimisation solver library

    v0.2.2 #optimization-solver #constraint-solver #pumpkin #combinatorial #constraint-programming #combinatorial-optimization #cp #mini-zinc #lazy-evaluation

  2. pumpkin-core

    The core of the Pumpkin constraint programming solver

    v0.2.2 #solver #constraint-programming #cp #integer-division #variables-numbers #optimization-solver #lazy-evaluation #cumulative #mini-zinc #clausal

  3. zelen

    Direct MiniZinc to Selen Solver

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

  4. flatzinc-serde

    FlatZinc serialization and deserialization

    v0.4.4 #flat-zinc #mini-zinc #serialization #serde

  5. dzn-rs

    dealing with DZN files used in the MiniZinc language

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

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