[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: RFS: qepcad



Processing control commands:

> tags -1 pending
Bug #951553 [wnpp] ITP: qepcad -- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Added tag(s) pending.

-- 
951553: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951553
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems


Reply to: