alt-ergo-0.9-2.fc12.ppc.rpm

  • Pakettyp: rpm
  • Architektur: ppc
  • Distribution: Fedora Core 12
Zurückden Kategorien/Paketliste

Detaillierte Informationen

Paketnamealt-ergo
Dateinamealt-ergo-0.9-2.fc12.ppc.rpm
DistributionFedora Core 12
Version0.9
Architekturppc
Release2.fc12
Dateigrösse378.45 kb
Build-Datum2009/Aug/05 01:19:19
Paketgrösse1.23 mb
Coypright
DonwloadDownload
PackerFedora Project
LieferantFedora Project
Weitere Infoshttp://altergo.lri.fr
Changeloganzeigen
KurzfassungAlt-Ergo automatic theorem prover
BeschreibungAlt-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.
Bedient
Dateien
  • /usr/bin/alt-ergo
  • /usr/share/alt-ergo
  • /usr/share/alt-ergo/smt_prelude.mlw
  • /usr/share/doc/alt-ergo-0.9
  • /usr/share/doc/alt-ergo-0.9/CHANGES
  • /usr/share/doc/alt-ergo-0.9/COPYING
  • /usr/share/doc/alt-ergo-0.9/CeCILL-C
  • /usr/share/doc/alt-ergo-0.9/README.alt-ergo
  • /usr/share/man/man1/alt-ergo.1.gz