vandenheuvel / relp

Related projects ⓘ

Alternatives and complementary repositories for relp

• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• scipopt / russcip
  Rust interface for SCIP
  ☆41Updated 2 weeks ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆59Updated 2 months ago
• rust-or / good_lp
  Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…
  ☆252Updated 2 weeks ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆19Updated 8 months ago
• ykrist / rust-grb
  Rust library bindings to the Gurobi optimiser.
  ☆20Updated 2 months ago
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆70Updated this week
• victe / rust-latex-doc-minimal-example
  ☆35Updated 4 years ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆95Updated 3 years ago
• osqp / osqp.rs
  Rust interface to OSQP: The Operator Splitting QP Solver
  ☆34Updated 3 years ago
• vorot / roots
  Library of well known algorithms for numerical root finding.
  ☆50Updated last month
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆114Updated last month
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• linalg-rs / rlst
  Rust Linear Solver Toolbox
  ☆58Updated last month
• elrnv / autodiff
  Auto differentiation library
  ☆62Updated last year
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆27Updated 5 months ago
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆17Updated this week
• ptal / pcp
  Constraint programming in Rust
  ☆102Updated last year
• convexbrain / Totsu
  First-order conic solver for convex optimization problems
  ☆47Updated last year
• KardinalAI / cp_sat
  Google CP-SAT solver Rust bindings
  ☆19Updated 4 months ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated last year
• cmpute / dashu
  A library set of arbitrary precision numbers implemented in Rust.
  ☆77Updated 7 months ago
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆101Updated 8 months ago
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆12Updated this week
• JakubValtar / radsort
  Radix sort implementation for sorting by scalar keys (integers, floats, chars, bools)
  ☆18Updated 3 months ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆65Updated 11 months ago
• brendanzab / approx
  Approximate floating point equality comparisons and assertions
  ☆154Updated 7 months ago
• bluss / matrixmultiply
  General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.
  ☆212Updated 3 months ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆33Updated 2 years ago
• ubnt-intrepid / rust-gurobi
  Unofficial Rust API for Gurobi Optimizer
  ☆15Updated 2 years ago