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

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