PetterS / qepcad

Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

PetterS/qepcad Issues

reconcile with upstream's B 1.74?
Updated 4 months ago4
Segfault
Closed a year ago1
Install target missing? What should be installed?
Updated a year ago3
Clang build error: error: implicit declaration of function 'FPCATCH' is invalid in C99
Updated a year ago1
Fails to build on macOS: fatal error: ieee754.h: No such file or directory
Updated a year ago2
Software license
Closed 4 years ago2
Crash on some inputs
Closed 6 years ago5