vandenheuvel / relpView external linksLinks
A Linear Program solver written in Rust.
☆20Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for relp
Users that are interested in relp are comparing it to the libraries listed below
Sorting:
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Apr 6, 2023Updated 2 years ago
- sparse LU factorization and update☆17Feb 15, 2024Updated 2 years ago
- C++ solvers for Minimum Cost Flow Problems☆60Jan 24, 2026Updated 3 weeks ago
- Generators for Combinatorial Optimization☆19May 16, 2023Updated 2 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 8 months ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Nov 27, 2020Updated 5 years ago
- The SAT and QBF Programming Language Bule☆22Jul 19, 2024Updated last year
- A minimalistic and high-performance SAT solver☆29Feb 6, 2023Updated 3 years ago
- DIP is a decomposition-based solver framework for mixed integer linear programs.☆21Jan 14, 2026Updated last month
- An implementation of the revised simplex algorithm in CUDA for solving linear optimization problems in the form max{c*x | A*x=b, l<=x<=u}☆27Dec 9, 2016Updated 9 years ago
- Interior-point solver☆28May 23, 2017Updated 8 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆32Jun 22, 2023Updated 2 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆68May 23, 2025Updated 8 months ago
- Rust interface for SCIP☆88Dec 16, 2025Updated 2 months ago
- A pure Rust MILP solver☆38Feb 8, 2026Updated last week
- Branch-Cut-Price Framework☆31Sep 16, 2020Updated 5 years ago
- Parallel Presolve for Integer and Linear Optimization☆84Jan 29, 2026Updated 2 weeks ago
- Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your op…☆25Feb 1, 2026Updated 2 weeks ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- python algorithms to solve sparse linear programming problems☆34Jul 6, 2023Updated 2 years ago
- OptimPack is a library for large optimization problems.☆37Mar 21, 2025Updated 10 months ago
- Interior-point solver in pure Julia☆162Sep 29, 2025Updated 4 months ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆423Jan 13, 2026Updated last month
- Example for baking the current git commit hash into a bazel C++ project☆11Jan 25, 2022Updated 4 years ago
- Fast Sparse Multifrontal Solver☆11May 27, 2015Updated 10 years ago
- R package wrapper for Istanbul Municipality Open Data Portal☆10Apr 24, 2021Updated 4 years ago
- Qui troverete tutto il codice che "sforneremo" e studieremo in questi anni☆12Sep 28, 2022Updated 3 years ago
- A collection of SCIP Optimization Software modeling examples in C++☆11Oct 5, 2020Updated 5 years ago
- EPIAS Transparency Platform API / EPİAŞ Şeffaflık Platformu API☆17Feb 3, 2026Updated last week
- Parallel Presolve for Integer and Linear Optimization☆40Jul 12, 2021Updated 4 years ago
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- ☆15Jun 30, 2025Updated 7 months ago
- CORE-V eXtension Interface compliant RISC-V [F|Zfinx] Coprocessor☆13Nov 12, 2025Updated 3 months ago
- Unit test generation for the Kakoune editor with Symflower☆12Oct 17, 2022Updated 3 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 9 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆52Jan 15, 2026Updated last month
- An example C++ protobuf compiler plugin built with Bazel☆11Dec 5, 2018Updated 7 years ago
- Fast and simple C++ DSP engine with high-quality effects. Originally built for PhantomAmp, an Android app for rootless system-wide audio…☆17Aug 21, 2023Updated 2 years ago
- The Reconfigurable Solver for QP☆10Apr 19, 2023Updated 2 years ago