ConSol-Lab / Pumpkin
A lazy clause generation constraint solver written in Rust.
☆22Updated last week
Alternatives and similar repositories for Pumpkin:
Users that are interested in Pumpkin are comparing it to the libraries listed below
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆36Updated 2 weeks ago
- A Linear Program solver written in Rust.☆19Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆61Updated last month
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated this week
- A standalone local search solver for general integer linear programming☆16Updated 8 months ago
- ☆9Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Rust interface for SCIP☆56Updated last week
- A standalone local search solver for general mixed integer programming☆21Updated 3 weeks ago
- ☆31Updated last year
- Verifier for pseudo-Boolean proofs☆13Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated this week
- COmpact SOlver for COnstrained problems☆12Updated this week
- Constraint Solver ACE☆29Updated this week
- Convex optimization modeling in Lean 4☆44Updated 9 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆22Updated 3 weeks ago
- A benchmark library for constraints☆89Updated 5 months ago
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- A constraint programming solver with support for proof logging☆14Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Nutmeg – a MIP and CP branch-and-check solver☆24Updated last year
- Concurrent decision diagram framework written in Rust☆59Updated last week
- Performant and safe knowledge compilation in rust☆26Updated 5 months ago
- ☆17Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆168Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- Conservative floating point interval arithmetic in Lean☆15Updated 2 months ago