14 releases (5 breaking)
| 0.5.0 | Aug 16, 2020 |
|---|---|
| 0.4.0 | Jul 3, 2020 |
| 0.3.0 | Jul 3, 2020 |
| 0.2.0 | Mar 28, 2020 |
| 0.0.4 | Nov 3, 2018 |
#1 in #mop
55 downloads per month
Used in 5 crates
(2 directly)
115KB
3K
SLoC
MOP - Solvers
Official built-in solvers.
Dependencies
~1.6–2.2MB
~50K SLoC