qepcad (math/qepcad) Updated: 1 year, 5 months ago Add to my watchlist

Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Version: 2023.03.12 License: Restrictive

GitHub

Maintainers	barracuda156
Categories	math
Homepage	https://github.com/PetterS/qepcad
Platforms	darwin
Variants	debug (Enable debug binaries) universal (Build for multiple architectures)

clang-15

cmake

No ports

Loading Port Health

0