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

alt-ergo-2.3.3-1.mga9 RPM for armv7hl

From Mageia Cauldron for armv7hl / media / core / release

Name: alt-ergo Distribution: Mageia
Version: 2.3.3 Vendor: Mageia.Org
Release: 1.mga9 Build date: Mon Mar 20 12:29:54 2023
Group: Sciences/Computer science Build host: localhost
Size: 11035793 Source RPM: alt-ergo-2.3.3-1.mga9.src.rpm
Packager: pterjan <pterjan>
Url: https://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

Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception

Changelog

* Sun Mar 19 2023 pterjan <pterjan> 2.3.3-1.mga9
  + Revision: 1949747
  - Update to 2.3.3 and partially sync with Fedora
  - Disable GUI as it needs gtksourceview2 we no longer have
* Sun Jan 08 2023 daviddavid <daviddavid> 2.2.0-18.mga9
  + Revision: 1931573
  - rebuild for ocaml-zarith change
* Thu May 19 2022 pterjan <pterjan> 2.2.0-17.mga9
  + Revision: 1859000
  - Rebuild for OCaml 4.14
* Wed Apr 06 2022 umeabot <umeabot> 2.2.0-16.mga9
  + Revision: 1845914
  - Mageia 9 Mass Rebuild
* 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

Files

/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/11
/usr/lib/.build-id/11/b0296a10e273e1abd172078497079e6cd8094f
/usr/lib/ocaml/alt-ergo
/usr/lib/ocaml/alt-ergo-free
/usr/lib/ocaml/alt-ergo-free/META
/usr/lib/ocaml/alt-ergo-free/dune-package
/usr/lib/ocaml/alt-ergo-free/opam
/usr/lib/ocaml/alt-ergo/META
/usr/lib/ocaml/alt-ergo/dune-package
/usr/lib/ocaml/alt-ergo/opam
/usr/lib/ocaml/alt-ergo/plugins
/usr/lib/ocaml/alt-ergo/plugins/AB-Why3-plugin.cma
/usr/lib/ocaml/alt-ergo/plugins/AB-Why3-plugin.cmxs
/usr/lib/ocaml/alt-ergo/plugins/fm-simplex-plugin.cma
/usr/lib/ocaml/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib/ocaml/alt-ergo/preludes
/usr/lib/ocaml/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae
/usr/lib/ocaml/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
/usr/share/doc/alt-ergo
/usr/share/doc/alt-ergo/Alt-Ergo--Atelier-B--RSSR-2016.pdf
/usr/share/doc/alt-ergo/Alt-Ergo-2.2--SMT-Workshop-2018.pdf
/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/AB-Why3-plugin
/usr/share/doc/alt-ergo/examples/AB-Why3-plugin/p4_34.why
/usr/share/doc/alt-ergo/examples/invalid
/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/lib_usage.ml
/usr/share/doc/alt-ergo/examples/valid
/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/man/man1/alt-ergo.1.xz


Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 12 04:40:50 2024