qepcad-B-1.72-3.fc30.x86_64.rpm


Advertisement

Description

qepcad-B - Quantifier elimination tool

Property Value
Distribution Fedora 30
Repository Fedora x86_64
Package filename qepcad-B-1.72-3.fc30.x86_64.rpm
Package name qepcad-B
Package version 1.72
Package release 3.fc30
Package architecture x86_64
Package type rpm
Homepage https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
License MIT
Maintainer -
Download size 346.61 KB
Installed size 3.34 MB
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.

Alternatives

Package Version Architecture Repository
qepcad-B-1.72-3.fc30.i686.rpm 1.72 i686 Fedora
qepcad-B - - -

Requires

Name Value
Singular -
bash -
coreutils -
libGL.so.1()(64bit) -
libGLU.so.1()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libglut.so.3()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.29)(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libreadline.so.8()(64bit) -
librt.so.1()(64bit) -
librt.so.1(GLIBC_2.3.3)(64bit) -
libsaclib.so.2()(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.8)(64bit) -
libstdc++.so.6(CXXABI_1.3.9)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
qepcad-B = 1.72-3.fc30
qepcad-B(x86-64) = 1.72-3.fc30

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package qepcad-B-1.72-3.fc30.x86_64.rpm
Source Package qepcad-B-1.72-3.fc30.src.rpm

Install Howto

Install qepcad-B rpm package:

# dnf install qepcad-B

Files

Path
/usr/bin/ADJ2D_plot
/usr/bin/cad2d
/usr/bin/qepcad
/usr/lib/.build-id/
/usr/lib/.build-id/4e/021b605ffe7ee41ee6e18f186338301243c144
/usr/lib/.build-id/88/32088769a8f890a2acc143e17e0fb38b4625f2
/usr/lib/.build-id/d5/907f0309fd943d458482869693f2e2490f2b26
/usr/share/doc/qepcad-B/LOG
/usr/share/licenses/qepcad-B/LICENSE
/usr/share/qepcad/default.qepcadrc
/usr/share/qepcad/bin/ADJ2D_plot
/usr/share/qepcad/bin/cad2d
/usr/share/qepcad/bin/qepcad
/usr/share/qepcad/bin/qepcad.help

Changelog

2019-02-17 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.72-3
- Rebuild for readline 8.0
2019-02-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.72-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-08-29 - Jerry James <loganjerry@gmail.com> - 1.72-1
- New upstream version
- Updated URLs
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 1.69-18
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 1.69-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.69-16
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 1.69-15
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

See Also

Package Description
qevercloud-4.0.0-4.20180622git238ca5f.fc30.i686.rpm Unofficial Evernote Cloud API for Qt5
qevercloud-4.0.0-4.20180622git238ca5f.fc30.x86_64.rpm Unofficial Evernote Cloud API for Qt5
qevercloud-devel-4.0.0-4.20180622git238ca5f.fc30.i686.rpm Headers files for developing with QEverCloud
qevercloud-devel-4.0.0-4.20180622git238ca5f.fc30.x86_64.rpm Headers files for developing with QEverCloud
qevercloud-doc-4.0.0-4.20180622git238ca5f.fc30.noarch.rpm Documentation for QEverCloud
qextserialport-1.2-0.17.beta2.fc30.i686.rpm Qt interface class for old fashioned serial ports
qextserialport-1.2-0.17.beta2.fc30.x86_64.rpm Qt interface class for old fashioned serial ports
qextserialport-devel-1.2-0.17.beta2.fc30.i686.rpm Development files for qextserialport
qextserialport-devel-1.2-0.17.beta2.fc30.x86_64.rpm Development files for qextserialport
qfaxreader-0.3.2-12.fc30.x86_64.rpm A multipage monochrome/color TIFF/FAX viewer
qftp-4.0-10.fc30.x86_64.rpm Simple ftp client application
qgis-3.4.4-3.fc30.i686.rpm A user friendly Open Source Geographic Information System
qgis-3.4.4-3.fc30.x86_64.rpm A user friendly Open Source Geographic Information System
qgis-devel-3.4.4-3.fc30.i686.rpm Development Libraries for the QGIS
qgis-devel-3.4.4-3.fc30.x86_64.rpm Development Libraries for the QGIS
Advertisement
Advertisement