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 alt-ergo-gui

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package contains a graphical front end for the Alt-Ergo theorem prover.

Found 1 sites for alt-ergo-gui

Found 16 RPM for alt-ergo-gui

PackageSummaryDistributionDownload
alt-ergo-gui-2.3.3-22.fc41.aarch64.htmlGraphical front end for Alt-ErgoFedora Rawhide for aarch64alt-ergo-gui-2.3.3-22.fc41.aarch64.rpm
alt-ergo-gui-2.3.3-22.fc41.aarch64.htmlGraphical front end for Alt-ErgoFedora 41 for aarch64alt-ergo-gui-2.3.3-22.fc41.aarch64.rpm
alt-ergo-gui-2.3.3-22.fc41.ppc64le.htmlGraphical front end for Alt-ErgoFedora Rawhide for ppc64lealt-ergo-gui-2.3.3-22.fc41.ppc64le.rpm
alt-ergo-gui-2.3.3-22.fc41.ppc64le.htmlGraphical front end for Alt-ErgoFedora 41 for ppc64lealt-ergo-gui-2.3.3-22.fc41.ppc64le.rpm
alt-ergo-gui-2.3.3-22.fc41.s390x.htmlGraphical front end for Alt-ErgoFedora Rawhide for s390xalt-ergo-gui-2.3.3-22.fc41.s390x.rpm
alt-ergo-gui-2.3.3-22.fc41.s390x.htmlGraphical front end for Alt-ErgoFedora 41 for s390xalt-ergo-gui-2.3.3-22.fc41.s390x.rpm
alt-ergo-gui-2.3.3-22.fc41.x86_64.htmlGraphical front end for Alt-ErgoFedora Rawhide for x86_64alt-ergo-gui-2.3.3-22.fc41.x86_64.rpm
alt-ergo-gui-2.3.3-22.fc41.x86_64.htmlGraphical front end for Alt-ErgoFedora 41 for x86_64alt-ergo-gui-2.3.3-22.fc41.x86_64.rpm
alt-ergo-gui-2.3.3-17.fc40.aarch64.htmlGraphical front end for Alt-ErgoFedora 40 for aarch64alt-ergo-gui-2.3.3-17.fc40.aarch64.rpm
alt-ergo-gui-2.3.3-17.fc40.ppc64le.htmlGraphical front end for Alt-ErgoFedora 40 for ppc64lealt-ergo-gui-2.3.3-17.fc40.ppc64le.rpm
alt-ergo-gui-2.3.3-17.fc40.s390x.htmlGraphical front end for Alt-ErgoFedora 40 for s390xalt-ergo-gui-2.3.3-17.fc40.s390x.rpm
alt-ergo-gui-2.3.3-17.fc40.x86_64.htmlGraphical front end for Alt-ErgoFedora 40 for x86_64alt-ergo-gui-2.3.3-17.fc40.x86_64.rpm
alt-ergo-gui-2.3.3-10.fc39.aarch64.htmlGraphical front end for Alt-ErgoFedora 39 for aarch64alt-ergo-gui-2.3.3-10.fc39.aarch64.rpm
alt-ergo-gui-2.3.3-10.fc39.ppc64le.htmlGraphical front end for Alt-ErgoFedora 39 for ppc64lealt-ergo-gui-2.3.3-10.fc39.ppc64le.rpm
alt-ergo-gui-2.3.3-10.fc39.s390x.htmlGraphical front end for Alt-ErgoFedora 39 for s390xalt-ergo-gui-2.3.3-10.fc39.s390x.rpm
alt-ergo-gui-2.3.3-10.fc39.x86_64.htmlGraphical front end for Alt-ErgoFedora 39 for x86_64alt-ergo-gui-2.3.3-10.fc39.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet