ConSol-Lab / Pumpkin
A lazy clause generation constraint solver written in Rust.
☆23Updated this week
Alternatives and similar repositories for Pumpkin:
Users that are interested in Pumpkin are comparing it to the libraries listed below
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆41Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated last month
- A constraint modelling and rewriting library and compiler framework written in rust☆23Updated last month
- Rust interface for SCIP☆59Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Concurrent decision diagram framework written in Rust☆60Updated 2 weeks ago
- ☆9Updated this week
- A Linear Program solver written in Rust.☆19Updated 3 weeks ago
- Performant and safe knowledge compilation in rust☆27Updated 5 months ago
- Rust library bindings to the Gurobi optimiser.☆21Updated 2 months ago
- Convex optimization modeling in Lean 4☆45Updated 10 months ago
- Verifier for pseudo-Boolean proofs☆13Updated 2 years ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Updated 3 years ago
- A pure Rust linear programming solver☆86Updated 4 years ago
- The Chuffed CP solver☆104Updated this week
- A standalone local search solver for general mixed integer programming☆21Updated last month
- A standalone local search solver for general integer linear programming☆16Updated 9 months ago
- ☆20Updated 7 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- d4 Model Counter☆16Updated last year
- Constraint Solver ACE☆29Updated last week
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated 8 months ago
- A Python Library for modeling combinatorial constrained problems☆66Updated last week
- Constraint programming in Rust☆105Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last month
- A constraint programming solver with support for proof logging☆14Updated 2 weeks ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 2 weeks ago
- Management of Benchmark Instances and Instance Attributes☆19Updated this week