Data

Tools

Indexes

Applications

Experiments

Packages

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

linear_solver

A linear solver designed to be easy to use with Rust enum expressions

Ecosystem
crates.io
Latest Release
0.2.2
over 6 years ago
Versions
4
Downloads
7,284 total
Dependent Packages
1
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/linear_solver
    spec
    License MIT
    First Release over 7 years ago
    Last Synced 5 days ago
    Keywords
    proving reasoning theorem solver linear
    Repository
    Stars 33 on GitHub
    Forks 2 on GitHub
    repos.ecosyste.ms
    Funding
    https://github.com/sponsors/bvssvni