vandenheuvel / relpLinks
A Linear Program solver written in Rust.
☆19Updated 6 months ago
Alternatives and similar repositories for relp
Users that are interested in relp are comparing it to the libraries listed below
Sorting:
- Rust interface for SCIP☆76Updated last week
- DDO a generic and efficient framework for MDD-based optimization.☆64Updated 6 months ago
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆56Updated last week
- A pure Rust linear programming solver☆91Updated 5 years ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆391Updated 2 weeks ago
- ☆36Updated 5 years ago
- A rust fork to work towards Enzyme integration☆91Updated 5 months ago
- library implementing interaction with various linear programming solvers☆23Updated last month
- Rust library bindings to the Gurobi optimiser.☆24Updated 9 months ago
- A pure Rust MILP solver☆30Updated 8 months ago
- Lp modeler written in Rust☆105Updated 4 years ago
- Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…☆175Updated last month
- General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.☆242Updated 6 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆52Updated last month
- Enzyme integration into Rust. Experimental, do not use.☆102Updated 2 years ago
- A library set of arbitrary precision numbers implemented in Rust.☆95Updated 3 weeks ago
- Auto differentiation library☆71Updated 7 months ago
- Rust Linear Solver Toolbox☆74Updated last week
- Rust binding for the HiGHS linear programming solver☆17Updated 2 weeks ago
- Library of well known algorithms for numerical root finding.☆56Updated last year
- Generalized (hyper-) dual numbers in rust☆75Updated last month
- Numerical methods to solve ordinary differential equations in Rust.☆78Updated 3 months ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆52Updated last week
- Safe rust bindings to the Highs MILP Solver.☆26Updated 2 weeks ago
- rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…☆32Updated 4 years ago
- Efficient global optimization toolbox in Rust: bayesian optimization, mixture of gaussian processes, sampling methods☆149Updated this week
- Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.☆489Updated this week
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆101Updated 5 months ago
- Arbitrary precision floating point numbers library☆113Updated 8 months ago
- Rust interface to OSQP: The Operator Splitting QP Solver☆37Updated 7 months ago