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 x86_64

From Mageia Cauldron for x86_64 / media / core / release

Name: alt-ergo Distribution: Mageia
Version: 2.2.0 Vendor: Mageia.Org
Release: 15.mga9 Build date: Thu Oct 14 15:14:45 2021
Group: Sciences/Computer science Build host: localhost
Size: 38464410 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/27
/usr/lib/.build-id/27/65e530906893a104f34e9eff2aba3d452a8674
/usr/lib/.build-id/82
/usr/lib/.build-id/82/bd3d8cc42c4afbe5163005bb2a54b042f8d2f1
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/37246a234e787cb3cda3128f193ee33133c045
/usr/lib64/alt-ergo
/usr/lib64/alt-ergo/META
/usr/lib64/alt-ergo/altErgoLib.a
/usr/lib64/alt-ergo/altErgoLib.cma
/usr/lib64/alt-ergo/altErgoLib.cmi
/usr/lib64/alt-ergo/altErgoLib.cmo
/usr/lib64/alt-ergo/altErgoLib.cmt
/usr/lib64/alt-ergo/altErgoLib.cmx
/usr/lib64/alt-ergo/altErgoLib.cmxa
/usr/lib64/alt-ergo/altErgoLib.cmxs
/usr/lib64/alt-ergo/altErgoLib.o
/usr/lib64/alt-ergo/plugins
/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib64/alt-ergo/preludes
/usr/lib64/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, Mon Jan 24 02:36:18 2022