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: 5.fc38 | Build date: Fri Jan 20 20:16:46 2023 |
Group: Unspecified | Build host: buildvm-x86-13.iad2.fedoraproject.org |
Size: 1137704 | Source RPM: qepcad-B-1.74-5.fc38.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 Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 13 2022 Jerry James <loganjerry@gmail.com> - 1.74-4 - Convert License tag to SPDX and correct it to ISC * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Mar 02 2021 Jerry James <loganjerry@gmail.com> - 1.74-1 - Version 1.74 * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.72-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
/usr/bin/ADJ2D_plot /usr/bin/cad2d /usr/bin/qepcad /usr/lib/.build-id /usr/lib/.build-id/b2 /usr/lib/.build-id/b2/4ef7c151a096d15caa054e70771333ca5d4dfd /usr/lib/.build-id/c5 /usr/lib/.build-id/c5/34a09009d857c143fe26bf04a05a6fa8f7e1ba /usr/lib/.build-id/db /usr/lib/.build-id/db/33ea7b28a53027ffad4c02c3b8e11c0bf2ea19 /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, Thu May 9 21:57:25 2024