{"name":"qepcad","portdir":"math/qepcad","version":"2023.03.12","license":"Restrictive","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/PetterS/qepcad","description":"Quantifier Elimination by Partial Cylindrical Algebraic Decomposition","long_description":"Quantifier Elimination by Partial Cylindrical Algebraic Decomposition","active":true,"categories":["math"],"maintainers":[],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","clang-18"]}],"depends_on":[]}