crates.io : linear_solver
A linear solver designed to be easy to use with Rust enum expressions
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/linear_solver
Keywords:
proving
, reasoning
, theorem
, solver
, linear
License: MIT
Latest release: almost 6 years ago
First release: over 6 years ago
Dependent packages: 1
Downloads: 6,260 total
Stars: 32 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/bvssvni
Last synced: 17 days ago
Loading...
Readme
Loading...