qepcad (math/qepcad) Updated: 1 year, 9 months ago Add to my watchlist
Quantifier Elimination by Partial Cylindrical Algebraic DecompositionVersion: 2023.03.12 License: Restrictive

Maintainers | barracuda156 |
Categories | math |
Homepage | https://github.com/PetterS/qepcad |
Platforms | darwin |
Variants |
|
"qepcad" depends on
build (2)
Ports that depend on "qepcad"
No ports
Port Health:
Loading Port Health