qepcad (math/qepcad) Updated: 2 years, 6 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-17

cmake

No ports

Loading Port Health

0

qepcad seems to have been updated (port version: d9b8661bc37bbb50a3ac4a90a3000e602fda8f15, new version: 23b1e7e4ccca7e2ebe470b1d4a70f2844d77590a)

livecheck ran: 1 day, 14 hours ago