Bug#951553: RFP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

2020-07-30 Thread Torrance, Douglas
Control: retitle -1 ITP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition Control: owner -1 ! On Tue, 18 Feb 2020 03:36:11 +0100 Alessandro Barbieri wrote: > Package: wnpp > Severity: wishlist > > * Package name : qepcad > Version : B 1.72 > Upstream Author :

Bug#951553: RFP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

2020-02-17 Thread Alessandro Barbieri
Package: wnpp Severity: wishlist * Package name: qepcad Version : B 1.72 Upstream Author : Christopher W Brown * URL : https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html * License : BSD, MIT Programming Lang: C Description : Quantifier