vandenheuvel / relpLinks
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
Sorting:
- A pure Rust linear programming solver☆86Updated 4 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated last month
- Rust interface for SCIP☆69Updated 3 weeks ago
- A lazy clause generation constraint solver written in Rust.☆30Updated this week
- A rust fork to work towards Enzyme integration☆90Updated this week
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆340Updated this week
- Rust library bindings to the Gurobi optimiser.☆22Updated 4 months ago
- library implementing interaction with various linear programming solvers☆21Updated last year
- Auto differentiation library☆69Updated 2 months ago
- Library of well known algorithms for numerical root finding.☆55Updated 8 months ago
- Rust interface to OSQP: The Operator Splitting QP Solver☆37Updated 2 months ago
- ☆35Updated 5 years ago
- A pure Rust MILP solver☆24Updated 3 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆44Updated 3 weeks ago
- Lp modeler written in Rust☆102Updated 4 years ago
- ☆44Updated 2 years ago
- Enzyme integration into Rust. Experimental, do not use.☆101Updated 2 years ago
- Arbitrary precision floating point numbers library☆110Updated 3 months ago
- Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…☆159Updated last week
- Rust Linear Solver Toolbox☆69Updated this week
- Framework and implementation for mathematical optimization and solving non-linear systems of equations.☆50Updated last year
- Numerical methods to solve ordinary differential equations in Rust.☆75Updated 3 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆98Updated last month
- Generalized (hyper-) dual numbers in rust☆69Updated this week
- Safe rust bindings to the Highs MILP Solver.☆24Updated 3 weeks ago
- Unofficial Rust API for Gurobi Optimizer☆15Updated 2 years ago
- ODE solver library in Rust☆66Updated this week
- A Rust implementation of Gaussian Process regression.☆56Updated last year
- General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.☆238Updated last month
- rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…☆30Updated 4 years ago