Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: qepcad-B | Distribution: Fedora Project |
Version: 1.74 | Vendor: Fedora Project |
Release: 11.fc43 | Build date: Fri Jul 25 23:38:57 2025 |
Group: Unspecified | Build host: buildvm-a64-40.rdu3.fedoraproject.org |
Size: 1174968 | Source RPM: qepcad-B-1.74-11.fc43.src.rpm |
Packager: Fedora Project | |
Url: https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html | |
Summary: Quantifier elimination tool |
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.
ISC
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> - 1.74-8 - Stop building for 32-bit x86 - Minor spec file simplifications * Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
/usr/bin/ADJ2D_plot /usr/bin/cad2d /usr/bin/qepcad /usr/lib/.build-id /usr/lib/.build-id/b7 /usr/lib/.build-id/b7/3d1b363654234635ebc7991d9dc9d8ee660c5c /usr/lib/.build-id/dd /usr/lib/.build-id/dd/58e1f198d3afd59b2d169d771f4867c2acb15b /usr/lib/.build-id/e1 /usr/lib/.build-id/e1/247a17c419565dc2bc1771c1198ea6b83e88fe /usr/share/doc/qepcad-B /usr/share/doc/qepcad-B/LOG /usr/share/licenses/qepcad-B /usr/share/licenses/qepcad-B/LICENSE /usr/share/qepcad /usr/share/qepcad/bin /usr/share/qepcad/bin/ADJ2D_plot /usr/share/qepcad/bin/cad2d /usr/share/qepcad/bin/qepcad /usr/share/qepcad/bin/qepcad.help /usr/share/qepcad/default.qepcadrc
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Aug 1 00:40:41 2025