ConSol-Lab / PumpkinLinks
A Lazy Clause Generation Constraint Programming solver written in Rust.
☆47Updated 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 4 months ago
- A pure Rust linear programming solver☆90Updated 4 years ago
- A Linear Program solver written in Rust.☆19Updated 4 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆50Updated 2 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 3 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆25Updated last week
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆47Updated this week
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆377Updated 2 months ago
- Rust interface for SCIP☆74Updated last month
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 4 months ago
- A library set of arbitrary precision numbers implemented in Rust.☆94Updated 8 months ago
- Algorithms in computational algebra written in rust☆75Updated this week
- Arbitrary precision floating point numbers library☆113Updated 6 months ago
- Constraint programming in Rust☆110Updated last year
- Propositional logic with types in Rust☆63Updated 2 years ago
- A pure Rust MILP solver☆29Updated 7 months ago
- Lp modeler written in Rust☆103Updated 4 years ago
- Map data structure whose keys are stored as ranges☆95Updated last month
- Tensor library for machine learning☆26Updated 3 weeks ago
- Bounded integers for Rust☆35Updated 2 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- A metaheuristic framework for solving combinatorial optimization problems☆38Updated 9 months ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆79Updated last month
- Voracious radix sort☆69Updated last year
- ☆35Updated 8 months ago
- Rank Polymorphic array library for Rust.☆103Updated 2 years ago
- Simple refinement types for Rust; parse, don't validate!☆75Updated last week
- ☆13Updated 3 weeks ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆43Updated 8 months ago
- ☆90Updated 2 months ago