vandenheuvel / relp
A Linear Program solver written in Rust.
☆19Updated last month
Alternatives and similar repositories for relp:
Users that are interested in relp are comparing it to the libraries listed below
- A pure Rust linear programming solver☆85Updated 4 years ago
- Rust interface for SCIP☆61Updated this week
- library implementing interaction with various linear programming solvers☆21Updated last year
- A pure Rust MILP solver☆22Updated 2 months ago
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated last week
- A lazy clause generation constraint solver written in Rust.☆28Updated this week
- A rust fork to work towards Enzyme integration☆86Updated this week
- Rust library bindings to the Gurobi optimiser.☆21Updated 3 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…☆323Updated last month
- ☆35Updated 5 years ago
- Rust interface to OSQP: The Operator Splitting QP Solver☆36Updated 2 weeks ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆42Updated 3 weeks ago
- Rust Linear Solver Toolbox☆65Updated last week
- Enzyme integration into Rust. Experimental, do not use.☆101Updated 2 years ago
- Algorithms in computational algebra written in rust☆53Updated 2 weeks ago
- Safe rust bindings to the Highs MILP Solver.☆24Updated 2 months ago
- Lp modeler written in Rust☆102Updated 4 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆91Updated last month
- ODE solver library in Rust☆51Updated this week
- rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…☆29Updated 4 years ago
- Generalized (hyper-) dual numbers in rust☆68Updated last month
- Rust binding for the HiGHS linear programming solver☆14Updated 2 months ago
- A library set of arbitrary precision numbers implemented in Rust.☆83Updated 3 months ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆21Updated this week
- Arbitrary precision floating point numbers library☆108Updated last month
- First-order conic solver for convex optimization problems☆49Updated 2 years ago
- Framework and implementation for mathematical optimization and solving non-linear systems of equations.☆49Updated last year
- Rank Polymorphic array library for Rust.☆102Updated last year
- Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…☆144Updated 2 weeks ago
- An SoA library for Rust☆140Updated 2 months ago