ConSol-Lab / PumpkinLinks
A Lazy Clause Generation Constraint Programming solver written in Rust.
☆43Updated 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 3 months ago
- A pure Rust linear programming solver☆90Updated 4 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆25Updated 2 weeks ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆45Updated this week
- Propositional logic with types in Rust☆63Updated 2 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated 2 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆49Updated last month
- A Linear Program solver written in Rust.☆19Updated 4 months ago
- Rust interface for SCIP☆73Updated 3 weeks ago
- Algorithms in computational algebra written in rust☆74Updated 3 weeks ago
- Lp modeler written in Rust☆103Updated 4 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…☆361Updated last month
- Voracious radix sort☆69Updated last year
- Arbitrary precision floating point numbers library☆113Updated 6 months ago
- A pure Rust MILP solver☆28Updated 6 months ago
- A library set of arbitrary precision numbers implemented in Rust.☆94Updated 7 months ago
- A rust fork to work towards Enzyme integration☆92Updated 2 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆35Updated 4 months ago
- Constraint programming in Rust☆110Updated last year
- 🧮 alphatensor matrix breakthrough algorithms + simd + rust.☆62Updated 2 years ago
- A faster Arc.☆75Updated last year
- ☆92Updated 8 months ago
- Source of BLAS and LAPACK via OpenBLAS☆89Updated last week
- A Rust implementation of interval arithmetic (IEEE 1788)☆43Updated 7 months ago
- Automatic differentiation in Rust with WGPU support☆23Updated 4 years ago
- ☆36Updated 5 years ago
- Rust microbenchmarking harness based on paired-testing methodology☆140Updated 3 weeks ago
- Parallelo Parallel Library (PPL) is a small parallel framework that brings Structured Parallel Programming in Rust.☆77Updated 2 weeks ago
- Experimenting with Rust's fundamental data model☆54Updated 2 months ago
- VF2 subgraph isomorphism algorithm in Rust.☆65Updated 6 months ago