Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "mixed-integer-programming" keyword

napali 0.1.1
TUI interface for Integrated Reasoning's accelerated solver API
2 versions - Latest release: over 2 years ago - 2.82 thousand downloads total - 11 stars on GitHub - 1 maintainer
russcip 0.9.1
Rust interface for SCIP
42 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 203 thousand downloads total - 76 stars on GitHub - 1 maintainer
Related Keywords
optimization 2 rust 2 math 1 solver 1 tui 1 integer-programming 1 knapsack-problem 1 linear-programming 1 nix 1