Lib.rs

› Keywords #cp #lazy-evaluation #pumpkin #solver #integer-division #mini-zinc

#constraint-programming

  1. russcip

    Rust interface for SCIP

    v0.9.1 15K #scip #integer-programming #optimization-solver #constraint-programming #interface

  2. pumpkin-conflict-resolvers

    The conflict resolvers of the Pumpkin constraint programming solver

    v0.3.0 #pumpkin #constraint-programming #solver #conflict #resolver #cp #lazy-evaluation

  3. pumpkin-core

    The core of the Pumpkin constraint programming solver

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

  4. pumpkin-solver

    The Pumpkin combinatorial optimisation solver library

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

  5. pumpkin-checker

    A proof-checker for DRCP proofs generated for FlatZinc models

    v0.3.0 #pumpkin #proof-checker #solver #constraint-programming #flat-zinc #cp #lazy-evaluation #cumulative #integer-division

  6. pumpkin-propagators

    The propagators of the Pumpkin constraint programming solver

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

  7. pumpkin-constraints

    The constraints of the Pumpkin constraint programming solver

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

  8. drcp-format

    Parse and write DRCP and literal definition files

    v0.3.1 #solver #parser #constraint-programming #proof #atomic #forms #conclusion #parse-and-write

  9. pumpkin-checking

    Types used by both pumpkin-core and pumpkin-checker

    v0.3.0 #solver #pumpkin #constraint-programming #cp #math #lazy-evaluation

  10. rusty-wam

    The Warren Abstract Machine in Rust

    v0.8.1 #prolog #logic-programming #production-environment #wam #predicate #warren #constraint-programming #forms

  11. copper

    A constraint programming solver

    v0.1.0 #constraint-solver #constraint-programming #solver

  12. fzn-rs-derive

    Derive macros for fzn-rs

    v0.1.0 #solver #constraint-programming #cp #lazy-evaluation #flat-zinc #integer-division #pumpkin #pre-commit-hooks #optimization-solver #combinatorial

    13. Try searching with DuckDuckGo.

  13. cp_sat

    Rust bindings to the Google CP-SAT constraint programming solver

    v0.3.3 #constraint-programming #cp #programming #api-bindings