Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource qepcad-B

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.

Found 1 sites for qepcad-B

Found 32 RPM for qepcad-B

PackageSummaryDistributionDownload
qepcad-B-1.74-3.fc36.aarch64.htmlQuantifier elimination toolFedora Rawhide for aarch64qepcad-B-1.74-3.fc36.aarch64.rpm
qepcad-B-1.74-3.fc36.aarch64.htmlQuantifier elimination toolFedora 36 for aarch64qepcad-B-1.74-3.fc36.aarch64.rpm
qepcad-B-1.74-3.fc36.armv7hl.htmlQuantifier elimination toolFedora 36 for armhfpqepcad-B-1.74-3.fc36.armv7hl.rpm
qepcad-B-1.74-3.fc36.ppc64le.htmlQuantifier elimination toolFedora Rawhide for ppc64leqepcad-B-1.74-3.fc36.ppc64le.rpm
qepcad-B-1.74-3.fc36.ppc64le.htmlQuantifier elimination toolFedora 36 for ppc64leqepcad-B-1.74-3.fc36.ppc64le.rpm
qepcad-B-1.74-3.fc36.s390x.htmlQuantifier elimination toolFedora Rawhide for s390xqepcad-B-1.74-3.fc36.s390x.rpm
qepcad-B-1.74-3.fc36.s390x.htmlQuantifier elimination toolFedora 36 for s390xqepcad-B-1.74-3.fc36.s390x.rpm
qepcad-B-1.74-3.fc36.x86_64.htmlQuantifier elimination toolFedora Rawhide for x86_64qepcad-B-1.74-3.fc36.x86_64.rpm
qepcad-B-1.74-3.fc36.x86_64.htmlQuantifier elimination toolFedora 36 for x86_64qepcad-B-1.74-3.fc36.x86_64.rpm
qepcad-B-1.74-2.fc35.aarch64.htmlQuantifier elimination toolFedora 35 for aarch64qepcad-B-1.74-2.fc35.aarch64.rpm
qepcad-B-1.74-2.fc35.armv7hl.htmlQuantifier elimination toolFedora 35 for armhfpqepcad-B-1.74-2.fc35.armv7hl.rpm
qepcad-B-1.74-2.fc35.ppc64le.htmlQuantifier elimination toolFedora 35 for ppc64leqepcad-B-1.74-2.fc35.ppc64le.rpm
qepcad-B-1.74-2.fc35.s390x.htmlQuantifier elimination toolFedora 35 for s390xqepcad-B-1.74-2.fc35.s390x.rpm
qepcad-B-1.74-2.fc35.x86_64.htmlQuantifier elimination toolFedora 35 for x86_64qepcad-B-1.74-2.fc35.x86_64.rpm
qepcad-B-1.74-1.fc34.aarch64.htmlQuantifier elimination toolFedora 34 testing updates for aarch64qepcad-B-1.74-1.fc34.aarch64.rpm
qepcad-B-1.74-1.fc34.aarch64.htmlQuantifier elimination toolFedora 34 for aarch64qepcad-B-1.74-1.fc34.aarch64.rpm
qepcad-B-1.74-1.fc34.armv7hl.htmlQuantifier elimination toolFedora 34 testing updates for armhfpqepcad-B-1.74-1.fc34.armv7hl.rpm
qepcad-B-1.74-1.fc34.armv7hl.htmlQuantifier elimination toolFedora 34 for armhfpqepcad-B-1.74-1.fc34.armv7hl.rpm
qepcad-B-1.74-1.fc34.ppc64le.htmlQuantifier elimination toolFedora 34 for ppc64leqepcad-B-1.74-1.fc34.ppc64le.rpm
qepcad-B-1.74-1.fc34.s390x.htmlQuantifier elimination toolFedora 34 for s390xqepcad-B-1.74-1.fc34.s390x.rpm
qepcad-B-1.74-1.fc34.x86_64.htmlQuantifier elimination toolFedora 34 testing updates for x86_64qepcad-B-1.74-1.fc34.x86_64.rpm
qepcad-B-1.74-1.fc34.x86_64.htmlQuantifier elimination toolFedora 34 for x86_64qepcad-B-1.74-1.fc34.x86_64.rpm
qepcad-B-1.72-7.fc33.aarch64.htmlQuantifier elimination toolFedora 33 for aarch64qepcad-B-1.72-7.fc33.aarch64.rpm
qepcad-B-1.72-7.fc33.armv7hl.htmlQuantifier elimination toolFedora 33 for armhfpqepcad-B-1.72-7.fc33.armv7hl.rpm
qepcad-B-1.72-7.fc33.ppc64le.htmlQuantifier elimination toolFedora 33 for ppc64leqepcad-B-1.72-7.fc33.ppc64le.rpm
qepcad-B-1.72-7.fc33.s390x.htmlQuantifier elimination toolFedora 33 for s390xqepcad-B-1.72-7.fc33.s390x.rpm
qepcad-B-1.72-7.fc33.x86_64.htmlQuantifier elimination toolFedora 33 for x86_64qepcad-B-1.72-7.fc33.x86_64.rpm
qepcad-B-1.72-6.fc32.aarch64.htmlQuantifier elimination toolFedora 32 for aarch64qepcad-B-1.72-6.fc32.aarch64.rpm
qepcad-B-1.72-6.fc32.armv7hl.htmlQuantifier elimination toolFedora 32 for armhfpqepcad-B-1.72-6.fc32.armv7hl.rpm
qepcad-B-1.72-6.fc32.ppc64le.htmlQuantifier elimination toolFedora 32 for ppc64leqepcad-B-1.72-6.fc32.ppc64le.rpm
qepcad-B-1.72-6.fc32.s390x.htmlQuantifier elimination toolFedora 32 for s390xqepcad-B-1.72-6.fc32.s390x.rpm
qepcad-B-1.72-6.fc32.x86_64.htmlQuantifier elimination toolFedora 32 for x86_64qepcad-B-1.72-6.fc32.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet