ConSol-Lab / Pumpkin
A lazy clause generation constraint solver written in Rust.
☆17Updated this week
Related projects ⓘ
Alternatives and complementary repositories for Pumpkin
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆26Updated 5 months ago
- A cpmpy-based library for constraint acquisition.☆11Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆58Updated 2 months ago
- Rust interface for SCIP☆40Updated this week
- A constraint programming solver with support for proof logging☆11Updated 2 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆26Updated 4 months ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated last week
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆26Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆16Updated 2 weeks ago
- A Linear Program solver written in Rust.☆18Updated last month
- C++ metaheuristics modeler/solver for general integer optimization problems.☆45Updated last month
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆24Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆72Updated 11 months ago
- ☆20Updated 2 years ago
- A standalone local search solver for general integer linear programming☆15Updated 4 months ago
- Verifier for pseudo-Boolean proofs☆12Updated 2 years ago
- Concurrent decision diagram framework written in Rust☆40Updated 3 weeks ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆15Updated 6 months ago
- d4 Model Counter☆14Updated last year
- ☆31Updated 8 months ago
- Convex optimization modeling in Lean 4☆40Updated 5 months ago
- XCSP3 Tools in Java☆21Updated 3 weeks ago
- Parallel Presolve for Integer and Linear Optimization☆38Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆75Updated this week
- The Mathematical Optimization Framework☆26Updated this week
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 3 weeks ago
- Exact optimization for cost function networks and additive graphical models☆51Updated this week
- Branch-and-Price-and-Cut in Julia☆193Updated 3 weeks ago
- Performant and safe knowledge compilation in rust☆24Updated 2 weeks ago