A Lazy Clause Generation Constraint Programming solver written in Rust.
☆104Oct 12, 2026Updated this week
Alternatives and similar repositories for Pumpkin
Users that are interested in Pumpkin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CP+SAT solver framework built to be reliable, performant, and extensible☆59Oct 6, 2026Updated last week
- MaxiCP☆44Sep 30, 2026Updated last week
- An open-source course on constraint solving☆28Sep 14, 2026Updated 3 weeks ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- A cpmpy-based library for constraint acquisition.☆23Aug 20, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- DDO a generic and efficient framework for MDD-based optimization.☆73May 23, 2025Updated last year
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆378Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- ☆32Feb 22, 2024Updated 2 years ago
- Rust interface for SCIP☆97Sep 26, 2026Updated 2 weeks ago
- ☆12Jun 1, 2026Updated 4 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆31Aug 27, 2026Updated last month
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆88Updated this week
- A constraint solver purely on GPUs (CUDA)☆56Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Safe rust bindings to the Highs MILP Solver.☆43Sep 19, 2026Updated 3 weeks ago
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆18Jul 9, 2026Updated 3 months ago
- Constraint Satisfaction Problem (CSP) Solver☆40Jan 4, 2026Updated 9 months ago
- Refinement type checking and inference tool for Rust☆25Updated this week
- SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve any planning problem, blazing fast!☆82Updated this week
- ☆19Sep 21, 2026Updated 3 weeks ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 9 months ago
- A Linear Program solver written in Rust.☆20Aug 27, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Manthan for Boolean function synthesis☆36Oct 3, 2026Updated last week
- Bioinformatics in Rust monthly☆22May 5, 2026Updated 5 months ago
- A curated list of awesome OR-Tools community resources.☆212Sep 23, 2026Updated 2 weeks ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆48Jul 9, 2026Updated 3 months ago
- [DEPRECATED] Cargo subcommand for running cargo without dev-dependencies.☆17Sep 4, 2026Updated last month
- A CP Portfolio Solver☆27Jun 25, 2026Updated 3 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆23Jul 18, 2024Updated 2 years ago
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Rust implementation of the goal-driven ruin and recreate heuristic for the 2D variable-sized bin packing problem with guillotine constr…☆47Aug 27, 2026Updated last month
- Verifier for pseudo-Boolean proofs☆15Oct 6, 2022Updated 4 years ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 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…☆462Sep 3, 2026Updated last month
- Pipe audio to discord, unix style☆13May 20, 2026Updated 4 months ago
- Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.☆617Apr 13, 2026Updated 6 months ago