A Lazy Clause Generation Constraint Programming solver written in Rust.
☆101Sep 22, 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:
- An open-source course on constraint solving☆27Sep 14, 2026Updated last week
- A constraint programming solver with support for proof logging☆20Updated this week
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- A cpmpy-based library for constraint acquisition.☆23Aug 20, 2026Updated last month
- DDO a generic and efficient framework for MDD-based optimization.☆73May 23, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆376Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- ☆32Feb 22, 2024Updated 2 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆33Updated this week
- Rust interface for SCIP☆97Sep 14, 2026Updated last week
- A constraint solver purely on GPUs (CUDA)☆54Sep 6, 2026Updated 2 weeks ago
- Safe rust bindings to the Highs MILP Solver.☆42Updated this week
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆17Jul 9, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Refinement type checking and inference tool for Rust☆25Updated this week
- ☆16Mar 15, 2024Updated 2 years 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 3 weeks ago
- Toolbox for automated planning and combinatorial solving.☆66Updated this week
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆47Jul 9, 2026Updated 2 months ago
- [DEPRECATED] Cargo subcommand for running cargo without dev-dependencies.☆17Sep 4, 2026Updated 2 weeks ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated 2 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆23Jul 18, 2024Updated 2 years ago
- Access to all MiniZinc functionality directly from Python☆212Sep 10, 2026Updated last week
- A Rust implementation of the goal-driven ruin and recreate heuristic for the 2D variable-sized bin packing problem with guillotine constr…☆45Aug 27, 2026Updated 3 weeks ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated 11 months ago
- 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…☆459Sep 3, 2026Updated 2 weeks ago
- Pipe audio to discord, unix style☆13May 20, 2026Updated 4 months ago
- Extension of JuMP to model decomposable mathematical programs (using Benders or Dantzig-Wolfe decomposition paradigm)☆30Jul 18, 2025Updated last year
- Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.☆607Apr 13, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆21Updated this week
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 4 years ago
- Display GIF animations with Macroquad☆16Feb 10, 2026Updated 7 months ago
- A Lean implementation of Interaction Trees☆17Jan 13, 2025Updated last year
- Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your op…☆30Apr 7, 2026Updated 5 months ago
- A trivial Rust struct for interchange of pixel buffers with width, height & stride☆63Aug 27, 2026Updated 3 weeks ago