Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

alt-ergo-2.2.0-15.mga9 RPM for i586

From Mageia Cauldron for i586 / media / core / release

Name: alt-ergo Distribution: Mageia
Version: 2.2.0 Vendor: Mageia.Org
Release: 15.mga9 Build date: Thu Oct 14 15:13:48 2021
Group: Sciences/Computer science Build host: localhost
Size: 34405160 Source RPM: alt-ergo-2.2.0-15.mga9.src.rpm
Packager: tv <tv>
Url: http://alt-ergo.ocamlpro.com/
Summary: Automated theorem prover including linear arithmetic
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.

Provides

Requires

License

ASL 2.0

Changelog

* Thu Oct 14 2021 tv <tv> 2.2.0-15.mga9
  + Revision: 1751384
  - Rebuild for ocaml 4.13.1
* Fri Mar 26 2021 tv <tv> 2.2.0-14.mga9
  + Revision: 1710561
  - Do not Require private ocaml interfaces that we don't Provide
    (thus fixing installation)
* Mon Mar 22 2021 tv <tv> 2.2.0-12.mga9
  + Revision: 1707991
  - Rebuild for ocaml 4.12
  - rebuild for ocaml-4.12
* Wed Aug 19 2020 martinw <martinw> 2.2.0-10.mga8
  + Revision: 1615508
  - use free (ASL 2.0 licensed) version
  - drop GUI package (needs obsolete gtksourceview2)
* Fri Feb 28 2020 umeabot <umeabot> 2.2.0-9.mga8
  + Revision: 1551478
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 2.2.0-8.mga8
  + Revision: 1544291
  - Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv <tv> 2.2.0-7.mga8
  + Revision: 1482733
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
  + daviddavid <daviddavid>
  - rebuild for new ocaml-psmt2-frontend 0.2

Files

/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/82
/usr/lib/.build-id/82/a70578d075a3f45eb3a50cb5d51c593110ce4d
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/10a8e4145c59be748911d640c9515c72f09e1b
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/a3d166136b2a3702276dd7ebc96c575408077a
/usr/lib/alt-ergo
/usr/lib/alt-ergo/META
/usr/lib/alt-ergo/altErgoLib.a
/usr/lib/alt-ergo/altErgoLib.cma
/usr/lib/alt-ergo/altErgoLib.cmi
/usr/lib/alt-ergo/altErgoLib.cmo
/usr/lib/alt-ergo/altErgoLib.cmt
/usr/lib/alt-ergo/altErgoLib.cmx
/usr/lib/alt-ergo/altErgoLib.cmxa
/usr/lib/alt-ergo/altErgoLib.cmxs
/usr/lib/alt-ergo/altErgoLib.o
/usr/lib/alt-ergo/plugins
/usr/lib/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib/alt-ergo/preludes
/usr/lib/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
/usr/share/doc/alt-ergo
/usr/share/doc/alt-ergo/CHANGES
/usr/share/doc/alt-ergo/LICENSE.md
/usr/share/doc/alt-ergo/README.md
/usr/share/doc/alt-ergo/doc
/usr/share/doc/alt-ergo/doc/alt-ergo.1
/usr/share/doc/alt-ergo/doc/gtk-lang
/usr/share/doc/alt-ergo/doc/gtk-lang/alt-ergo.lang
/usr/share/man/man1/alt-ergo.1.xz


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Dec 2 02:39:14 2021