crates.io : m2csmt
A solver for systems of non-linear (in)equations
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/m2csmt
Keywords:
interval
, smt
, solver
, trigonometry
License: MIT
Latest release: 8 months ago
First release: 8 months ago
Downloads: 2,536 total
Stars: 0 on gitlab.com
Forks: 0 on gitlab.com
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago
Loading...
Readme
Loading...