Safe rust bindings to the Highs MILP Solver.
☆30Dec 14, 2025Updated 3 months ago
Alternatives and similar repositories for highs
Users that are interested in highs are comparing it to the libraries listed below
Sorting:
- Rust binding for the HiGHS linear programming solver☆17Updated this week
- Google CP-SAT solver Rust bindings☆30Jan 22, 2026Updated 2 months ago
- MOSEK Optimizer API for Rust☆16Feb 19, 2026Updated last month
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆427Updated this week
- Rust library bindings to the Gurobi optimiser.☆25Feb 1, 2025Updated last year
- Rust interface for SCIP☆90Dec 16, 2025Updated 3 months ago
- VLSI placement and routing tool☆15Dec 20, 2025Updated 3 months ago
- Prints numbers with separators☆11Apr 29, 2021Updated 4 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- Declarative Avatar Asset Composing Tool☆14Jul 15, 2024Updated last year
- ScheduleOpt benchmarks☆19Mar 10, 2026Updated last week
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- A implementation of the modified akima interpolation in rust☆12Oct 28, 2020Updated 5 years ago
- Rust interface to OSQP: The Operator Splitting QP Solver☆39Apr 21, 2025Updated 11 months ago
- Pure Rust CDB library☆17Apr 25, 2019Updated 6 years ago
- ☆16Feb 9, 2022Updated 4 years ago
- Lp modeler written in Rust☆105Mar 1, 2021Updated 5 years ago
- A flexible, type-safe SQLx query builder for dynamic web APIs, offering seamless pagination, searching, filtering, and sorting.☆24Jan 28, 2026Updated last month
- Layer 4 Single Packet Authentication utilizing Netfilter Queue and libnetfilter.☆12Oct 12, 2024Updated last year
- Workaround for "key must be a string" error with serde_json. De/serialize any HashMap<K,V>, Vec<(K,V)>, Iter<(&K,&V)>, or Iter<&(K,V)> as…☆13Updated this week
- Make Atom Packages in Dart☆10Jun 8, 2015Updated 10 years ago
- Special functions for Rust by binding to the Cephes library.☆16Jul 26, 2024Updated last year
- ☆18Dec 17, 2025Updated 3 months ago
- Efficient sparse modelling with JuMP☆15May 16, 2025Updated 10 months ago
- Keyboard firmware framework built with Rust and embassy☆14Feb 20, 2026Updated last month
- ☆19Nov 21, 2023Updated 2 years ago
- Rust fast `&[u8]` to integer parser☆60Feb 25, 2026Updated 3 weeks ago
- ☆22Jan 23, 2025Updated last year
- A pure Rust linear programming solver☆91Nov 11, 2020Updated 5 years ago
- Julia modeling interface to parallel decomposition solver DSP☆12Sep 2, 2022Updated 3 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- This crate provides `lazy_static_include_bytes` and `lazy_static_include_str` macros to replace `include_bytes` and `include_str` macros.☆11Nov 24, 2025Updated 3 months ago
- Simple command line to get directory information☆13May 27, 2025Updated 9 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated 11 months ago
- The game PowerGrid as a python program☆14Nov 13, 2011Updated 14 years ago
- Unofficial repository for the Power Systems Analysis Toolbox by Federico Milano☆14Dec 8, 2023Updated 2 years ago
- Diff-o-matic does auto diff☆14May 9, 2022Updated 3 years ago
- ☆16Jan 24, 2026Updated last month
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago