An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
☆63May 13, 2024Updated 2 years ago
Alternatives and similar repositories for BDD
Users that are interested in BDD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for the code of our ICLR paper: Backpropagation through Combinatorial Algorithms: Identity with Projection Works☆13Sep 29, 2024Updated 2 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated 2 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 3 years ago
- Code for the culip ("CUda for Linear and Integer Programming") project, containing GPU primitives for linear algebra, linear optimization…☆19Oct 12, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- Solving LPs with convergent message passing☆67Jan 24, 2023Updated 3 years ago
- CVPR 2024, Partial-to-Partial Shape Matching with Geometric Consistency☆17Jul 30, 2025Updated last year
- The simplex algorithm, implemented in Cuda and for CPU (ECE1782 project)☆17Jun 29, 2020Updated 6 years ago
- ☆91Oct 15, 2026Updated 2 weeks ago
- Feasibility Jump☆34Sep 25, 2026Updated last month
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Mar 15, 2025Updated last year
- Solving LPs with convergent message passing☆23Aug 17, 2018Updated 8 years ago
- PIPS-IPM++ - a massively parallel interior point method for primal-dual block angular Linear Programms☆27May 3, 2023Updated 3 years 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.
- HPR-LP-C: A C implementation of the Halpern Peaceman--Rachford (HPR) method for solving linear programming (LP) problems on GPUs.☆19Sep 26, 2026Updated last month
- Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (ICLR'26)☆96Apr 25, 2026Updated 6 months ago
- A Python Flexible Modeler for Optimization Problems☆23Apr 21, 2024Updated 2 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 5 years ago
- Experimental first-order solvers for linear and quadratic programming.☆128Nov 3, 2023Updated 2 years ago
- Codes for CVPR 2022 Paper: "Appearance and Structure Aware Robust Deep Visual Graph Matching: Attack, Defense and Beyond"☆14Mar 29, 2022Updated 4 years ago
- A benchmarking suite for maximum independent set solvers.☆52Feb 3, 2024Updated 2 years ago
- ☆19Apr 13, 2023Updated 3 years ago
- OpenDesign Flow Database☆17Oct 31, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (…☆197Jul 21, 2026Updated 3 months ago
- Implementation of the paper "Surface Map Homology Inference"☆11Nov 17, 2021Updated 4 years ago
- [BMVC 2024 Oral] PT43D: A Probabilistic Transformer for Generating 3D Shapes from Single Highly-Ambiguous RGB Images☆12Jul 30, 2026Updated 3 months ago
- An open-source parallel optimization solver for structured mixed-integer programming☆95Jul 13, 2023Updated 3 years ago
- A more scalable version of FILO.☆33Aug 29, 2026Updated 2 months ago
- Neural Algorithmic Reasoning Tutorial☆11Dec 21, 2022Updated 3 years ago
- Set Partitioning Heuristic (SPH) based on CPLEX MILP solver and created starting from the CFT Heuristic implemented by Accorsi Luca and C…☆14Dec 1, 2023Updated 2 years ago
- Official Implementation of Our ICLR 2023 paper "ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers…☆20Oct 23, 2024Updated 2 years ago
- GPU accelerated first order primal-dual algorithm for solving convex optimization problems, and its application in maximum flow minimum c…☆17Nov 14, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GPU-accelerated RePlAce☆14Jun 11, 2024Updated 2 years ago
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- The official implemention for the paper "Joint Spatial-Temporal and Appearance Modeling with Transformer for Multiple Object Tracking".☆13Oct 20, 2022Updated 4 years ago
- A Python module for the modeling and scheduling of State Task Networks.☆11Aug 30, 2018Updated 8 years ago
- ☆48Apr 30, 2025Updated last year
- PRIMAL is a high-performance mathematical optimization solver for linear, mixed-integer, quadratic, and conic programming, designed as a …☆22Oct 26, 2026Updated last week
- Structured BVA☆46Apr 26, 2024Updated 2 years ago