A Lazy Clause Generation Constraint Programming solver written in Rust.
☆82Jun 25, 2026Updated last 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☆55Jun 24, 2026Updated last week
- MaxiCP☆38Jun 15, 2026Updated 2 weeks ago
- ☆19May 8, 2026Updated last month
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆57Apr 10, 2026Updated 2 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Jun 11, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Jun 1, 2026Updated last month
- An open-source course on constraint solving☆26Oct 24, 2025Updated 8 months ago
- DDO a generic and efficient framework for MDD-based optimization.☆70May 23, 2025Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Nonlinear programming application examples solved with Artelys Knitro☆23Oct 8, 2025Updated 8 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆360Jun 24, 2026Updated last week
- Manthan for Boolean function synthesis☆35Feb 16, 2026Updated 4 months ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- The intelligent TV station manager with adaptive AI hosts and distributed playback for DIY hackable TV stations, radio, and digital signa…☆29Feb 7, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆71Updated this week
- Explainable Constraint Solving - A Hands-On Tutorial☆27Nov 28, 2025Updated 7 months ago
- A modern multiple sequence alignment browser - built for the terminal.☆70May 13, 2026Updated last month
- A pure Rust MILP solver☆45Feb 19, 2026Updated 4 months ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆150May 8, 2026Updated last month
- MOSEK Optimizer API for Rust☆16May 13, 2026Updated last month
- Sequential object-oriented simPlex☆81May 20, 2026Updated last month
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dynamic sparse vector and matrix for julia☆16Jan 26, 2024Updated 2 years ago
- A metaheuristic framework for solving combinatorial optimization problems☆38May 6, 2026Updated last month
- Modern asynchronous version management system☆11Mar 16, 2026Updated 3 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆54Jun 22, 2026Updated last week
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- A pure Rust linear programming solver☆91Nov 11, 2020Updated 5 years ago
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- An application of tabu-enhanced genetic search to the railway optimization problem introduced in the informatiCup2022 by the German Infor…☆14May 13, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated 2 years ago
- A fast and fearless Collision Detection Engine for 2D nesting problems☆170Jun 22, 2026Updated last week
- Cross-platform GPU-accelerated fractal renderer built with Rust and WebGPU☆21Apr 12, 2026Updated 2 months ago
- ☆16Mar 15, 2024Updated 2 years ago
- The repo of mesh networking for small-memory embedded devices☆25May 1, 2026Updated 2 months ago
- Music composition environment for programmers☆13May 12, 2024Updated 2 years ago