alt-ergo-1.01-2.fc25.i686.rpm


Advertisement

Description

alt-ergo - Automated theorem prover including linear arithmetic

Distribution: Fedora 25
Repository: Fedora i386
Package name: alt-ergo
Package version: 1.01
Package release: 2.fc25
Package architecture: i686
Package type: rpm
Installed size: 3.61 MB
Download size: 969.66 KB
Official Mirror: dl.fedoraproject.org
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.

Alternatives

Provides

  • alt-ergo = 1.01-2.fc25
  • alt-ergo(x86-32) = 1.01-2.fc25

    Download

    Install Howto

    Install the alt-ergo rpm package:

    # dnf install alt-ergo

    Files

    • /usr/bin/alt-ergo
    • /usr/share/doc/alt-ergo/CHANGES
    • /usr/share/doc/alt-ergo/README.md
    • /usr/share/doc/alt-ergo/examples/
    • /usr/share/doc/alt-ergo/examples/invalid/arith1.why
    • /usr/share/doc/alt-ergo/examples/invalid/arith2.why
    • /usr/share/doc/alt-ergo/examples/invalid/arrays.why
    • /usr/share/doc/alt-ergo/examples/invalid/bitv.why
    • /usr/share/doc/alt-ergo/examples/valid/ac_arith.why
    • /usr/share/doc/alt-ergo/examples/valid/arith1.why
    • /usr/share/doc/alt-ergo/examples/valid/arith2.why
    • /usr/share/doc/alt-ergo/examples/valid/arith3.why
    • /usr/share/doc/alt-ergo/examples/valid/arith4.why
    • /usr/share/doc/alt-ergo/examples/valid/arrays.why
    • /usr/share/doc/alt-ergo/examples/valid/bitv.why
    • /usr/share/doc/alt-ergo/examples/valid/congruence.why
    • /usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
    • /usr/share/doc/alt-ergo/examples/valid/quantifiers.why
    • /usr/share/licenses/alt-ergo/COPYING.md
    • /usr/share/licenses/alt-ergo/LICENSE
    • /usr/share/man/man1/alt-ergo.1.gz

    Changelog

    2016-04-16 - Jerry James <loganjerry@gmail.com> - 1.01-2 - Rebuild for ocaml-ocamlgraph 1.8.7

    2016-02-17 - Jerry James <loganjerry@gmail.com> - 1.01-1 - Update to version 1.01

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.99.1-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-11-25 - Jerry James <loganjerry@gmail.com> - 0.99.1-9 - Rebuild for zarith 1.4.1

    2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 0.99.1-8 - OCaml 4.02.3 rebuild.

    2015-06-24 - Richard W.M. Jones <rjones@redhat.com> - 0.99.1-7 - ocaml-4.02.2 final rebuild.

    2015-06-17 - Richard W.M. Jones <rjones@redhat.com> - 0.99.1-6 - ocaml-4.02.2 rebuild.

    2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.99.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-03-18 - Jerry James <loganjerry@gmail.com> - 0.99.1-4 - Rebuild for ocaml-ocamlgraph 1.8.6

    2015-03-13 - Jerry James <loganjerry@gmail.com> - 0.99.1-3 - Fix FTBFS (bz 1099153)

    Advertisement
    Advertisement