Safe rust bindings to the Highs MILP Solver.
☆43Sep 19, 2026Updated 3 weeks ago
Alternatives and similar repositories for highs
Users that are interested in highs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust interface for SCIP☆97Sep 26, 2026Updated 2 weeks ago
- Google CP-SAT solver Rust bindings☆33Jul 8, 2026Updated 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…☆462Sep 3, 2026Updated last month
- MOSEK Optimizer API for Rust☆16Updated this week
- Rust library bindings to the Gurobi optimiser.☆26Feb 1, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization☆12May 18, 2024Updated 2 years ago
- ☆19Sep 18, 2026Updated 3 weeks ago
- A pure Rust MILP solver☆51Sep 21, 2026Updated 2 weeks ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆17Updated this week
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆104Updated this week
- Rust interface to nlopt☆12Oct 2, 2020Updated 6 years ago
- async compile on neovim☆12Aug 17, 2023Updated 3 years ago
- Prints numbers with separators☆14Apr 29, 2021Updated 5 years ago
- ☆13May 9, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Apr 20, 2026Updated 5 months ago
- Knob widget for egui☆17Sep 16, 2026Updated 3 weeks ago
- Rust interface to OSQP: The Operator Splitting QP Solver☆43Apr 21, 2025Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆75Updated this week
- ☆10Aug 17, 2021Updated 5 years ago
- Lp modeler written in Rust☆108Mar 1, 2021Updated 5 years ago
- Yosys plugin for logic locking and supply-chain security☆25Apr 5, 2025Updated 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…☆14Mar 18, 2026Updated 6 months ago
- ☆29Apr 12, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple sample to use WPF-UI package with Revit API.☆13Jul 23, 2024Updated 2 years ago
- Linear optimization software☆1,877Updated this week
- Types for the LSP and LSIF specifications☆18Aug 15, 2026Updated last month
- ☆11Jul 15, 2022Updated 4 years ago
- Make Atom Packages in Dart☆10Jun 8, 2015Updated 11 years ago
- Generators for Combinatorial Optimization☆20May 16, 2023Updated 3 years ago
- Lightweight path selector for searching Rust code☆17May 22, 2023Updated 3 years ago
- Efficient sparse modelling with JuMP☆15Jul 27, 2026Updated 2 months ago
- A pure Rust linear programming solver☆93Nov 11, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- practice rocket☆12Aug 13, 2020Updated 6 years ago
- Misskey for Shrimpia☆16Oct 2, 2026Updated last week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆77Apr 25, 2026Updated 5 months ago
- Keyboard firmware framework built with Rust and embassy☆15Aug 7, 2026Updated 2 months ago
- Quick and dirty debugging☆19Oct 3, 2026Updated last week
- Materials of the PyData Madrid monthly meetups☆16Oct 26, 2024Updated last year