alt-ergo-1.30-2.fc26.x86_64.rpm


Advertisement

Description

alt-ergo - Automated theorem prover including linear arithmetic

Property Value
Distribution Fedora 26
Repository Fedora x86_64
Package name alt-ergo
Package version 1.30
Package release 2.fc26
Package architecture x86_64
Package type rpm
Installed size 6.76 MB
Download size 1.54 MB
Official Mirror archives.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

Package Version Architecture Repository
alt-ergo-1.30-2.fc26.i686.rpm 1.30 i686 Fedora
alt-ergo - - -

Requires

Name Value
libc.so.6(GLIBC_2.15)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libz.so.1()(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
alt-ergo = 1.30-2.fc26
alt-ergo(x86-64) = 1.30-2.fc26

Download

Type URL
Binary Package alt-ergo-1.30-2.fc26.x86_64.rpm
Source Package alt-ergo-1.30-2.fc26.src.rpm

Install Howto

Install the alt-ergo rpm package:

# dnf install alt-ergo

Files

Path
/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

2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 1.30-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-11-28 - Jerry James <loganjerry@gmail.com> - 1.30-1
- Update to version 1.30
2016-11-07 - Richard W.M. Jones <rjones@redhat.com> - 1.01-3
- Rebuild for OCaml 4.04.0.
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.

See Also

Package Description
alt-ergo-gui-1.30-2.fc26.x86_64.rpm Graphical front end for alt-ergo
altermime-0.3.10-14.fc26.x86_64.rpm Alter MIME-encoded mailpacks
alure-1.2-12.fc26.i686.rpm Audio Library Tools REloaded
alure-1.2-12.fc26.x86_64.rpm Audio Library Tools REloaded
alure-devel-1.2-12.fc26.i686.rpm Development files for alure
alure-devel-1.2-12.fc26.x86_64.rpm Development files for alure
am-utils-6.2.0-24.fc26.i686.rpm Automount utilities including an updated version of Amd
am-utils-6.2.0-24.fc26.x86_64.rpm Automount utilities including an updated version of Amd
amanda-3.4.5-1.fc26.x86_64.rpm A network-capable tape backup solution
amanda-client-3.4.5-1.fc26.x86_64.rpm The client component of the AMANDA tape backup system
amanda-libs-3.4.5-1.fc26.x86_64.rpm Amanda libraries
amanda-server-3.4.5-1.fc26.x86_64.rpm The server side of the AMANDA tape backup system
amanith-0.3-35.fc26.i686.rpm Crossplatform framework for 2d/3d vector graphics
amanith-0.3-35.fc26.x86_64.rpm Crossplatform framework for 2d/3d vector graphics
amanith-devel-0.3-35.fc26.i686.rpm Development files for amanith
Advertisement
Advertisement