ConSol-Lab / PumpkinLinks
A lazy clause generation constraint solver written in Rust.
☆30Updated this week
Alternatives and similar repositories for Pumpkin
Users that are interested in Pumpkin are comparing it to the libraries listed below
Sorting:
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 2 weeks ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆44Updated last month
- Rust interface for SCIP☆66Updated this week
- A Linear Program solver written in Rust.☆19Updated 2 weeks ago
- A constraint modelling and rewriting library and compiler framework written in rust☆23Updated 2 weeks ago
- Constraint programming in Rust☆106Updated last year
- A pure Rust linear programming solver☆85Updated 4 years ago
- library implementing interaction with various linear programming solvers☆21Updated last year
- A Planning Domain Definition Language (PDDL 3.1) parser written in Rust☆17Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆30Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- Rust library bindings to the Gurobi optimiser.☆21Updated 4 months ago
- Verifier for pseudo-Boolean proofs☆14Updated 2 years ago
- 🫓 A parser for the FlatZinc modelling language☆13Updated 3 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆39Updated 4 months ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated 10 months ago
- ☆9Updated 2 weeks ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 6 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A constraint programming solver with support for proof logging☆15Updated 3 weeks ago
- A standalone local search solver for general mixed integer programming☆22Updated 3 months ago
- A Probabilistic Programming Language In Rust☆40Updated 2 years ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Updated 3 years ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆331Updated 2 months ago
- Voracious radix sort☆68Updated last year
- Cut Generator Library☆27Updated 2 weeks ago
- Constraint Solver ACE☆30Updated 3 weeks ago
- Lp modeler written in Rust☆102Updated 4 years ago
- ☆32Updated last year
- COmpact SOlver for COnstrained problems☆12Updated this week