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 |
#4 in #mop
51 downloads per month
Used in 5 crates
(2 directly)
120KB
3K
SLoC
MOP - Solvers
Official built-in solvers.
Dependencies
~1.8–2.5MB
~55K SLoC