ConSol-Lab / PumpkinLinks
A Lazy Clause Generation Constraint Programming solver written in Rust.
☆62Updated 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.☆66Updated 7 months ago
- A pure Rust linear programming solver☆91Updated 5 years ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆51Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 6 months ago
- Algorithms in computational algebra written in rust☆80Updated this week
- Propositional logic with types in Rust☆64Updated 2 years ago
- Arbitrary precision floating point numbers library☆113Updated 9 months ago
- Interface with the rustc compiler for the purpose of program verification☆259Updated last week
- A pure Rust MILP solver☆37Updated 10 months ago
- A library set of arbitrary precision numbers implemented in Rust.☆96Updated 2 months ago
- Rust interface for SCIP☆82Updated 3 weeks ago
- Constraint programming in Rust☆112Updated 2 years ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆274Updated last week
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆413Updated last month
- ⅋ — session types for Rust☆214Updated 5 months ago
- ☆17Updated 3 weeks ago
- An Extensible Compiler IR Framework☆235Updated this week
- A Linear Program solver written in Rust.☆19Updated 7 months ago
- An IDE extension for debugging trait errors in Rust.☆308Updated 3 months ago
- Parallel processing with disjoint indices in Rust☆90Updated 8 months ago
- An optimization modeling language with solvers for MILP problems☆59Updated 4 months ago
- Define compiler intermediate representation usable by external tools☆98Updated last month
- 🎶 Choreographic programming in Rust 🎶☆61Updated 9 months ago
- Define rust compile time unit systems using const generics☆87Updated 11 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆45Updated 11 months ago
- property testing and verification front-end for Rust☆224Updated last month
- Resilient LL(1) parser generator for Rust☆185Updated 2 weeks ago
- ☆190Updated 10 months ago
- A Rust implementation of the CMA-ES optimization algorithm.☆36Updated 7 months ago
- Rank Polymorphic array library for Rust.☆103Updated 2 years ago