alt-ergo-2.3.3-2.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

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

• alt-ergo
• alt-ergo(x86-64)
• ocaml(ABWhy3Plugin)
• ocaml(ABWhy3Plugin__Why3_lexer)
• ocaml(ABWhy3Plugin__Why3_loc)
• ocaml(ABWhy3Plugin__Why3_parser)
• ocaml(ABWhy3Plugin__Why3_ptree)
• ocaml(FmSimplexPlugin)
• ocaml(FmSimplexPlugin__FmSimplexIneqs)
• ocaml(FmSimplexPlugin__Simplex)
• ocaml(FmSimplexPlugin__Simplex_cache)

Requires

• ld-linux-x86-64.so.2()(64bit)
• ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libz-ng.so.2()(64bit)
• libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
• libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)
• ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac
• ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8
• ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c
• ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583
• ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6
• ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1
• ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09
• ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7
• ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c
• ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf
• ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322
• ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f
• ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee
• ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5
• ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29
• ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34
• ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70
• ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617
• ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd
• ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95
• ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c
• ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f
• ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e
• ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60
• ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6
• ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477
• ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a
• ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8
• ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32
• ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986
• ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1
• ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d
• ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311
• ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b
• ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
• ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90
• ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3
• ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a
• ocaml(MenhirLib) = 8c4370a46c902d5dfb76db24aab1d648
• ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db
• ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28
• ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11
• ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml-alt-ergo-parsers(x86-64) = 2.3.3-2.mga10
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

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

Changelog

* Fri Jun 20 2025 daviddavid <daviddavid> 2.3.3-2.mga10
  + Revision: 2193100
  - exclude 32bit arches
  - rebuild for ocaml 5.3.0

Files

/usr/bin/alt-ergo
/usr/lib64/ocaml/alt-ergo
/usr/lib64/ocaml/alt-ergo-free
/usr/lib64/ocaml/alt-ergo-free/META
/usr/lib64/ocaml/alt-ergo-free/dune-package
/usr/lib64/ocaml/alt-ergo-free/opam
/usr/lib64/ocaml/alt-ergo/META
/usr/lib64/ocaml/alt-ergo/dune-package
/usr/lib64/ocaml/alt-ergo/opam
/usr/lib64/ocaml/alt-ergo/plugins
/usr/lib64/ocaml/alt-ergo/plugins/AB-Why3-plugin.cma
/usr/lib64/ocaml/alt-ergo/plugins/AB-Why3-plugin.cmxs
/usr/lib64/ocaml/alt-ergo/plugins/fm-simplex-plugin.cma
/usr/lib64/ocaml/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib64/ocaml/alt-ergo/preludes
/usr/lib64/ocaml/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae
/usr/lib64/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, Tue Jun 24 06:50:17 2025