معرفی شرکت ها


alt-ergo-2.3.3-6.fc38.aarch64.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Automated theorem prover including linear arithmetic
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته alt-ergo
نام فایل بسته alt-ergo-2.3.3-6.fc38.aarch64.rpm
نسخه بسته 2.3.3
انتشار بسته 6.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Fri 24 Mar 2023 07
هاست سازنده buildvm-a64-29.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
حجم دانلود 5.0M
حجم نصب 14.187M
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.


جایگزین ها

بسته نسخه معماری مخزن
alt-ergo-2.3.3-6.fc38.src.rpm 2.3.3 i686 Fedora Everything
alt-ergo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-debuginfo-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-debuginfo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.i686.rpm 2.3.3 i686 Fedora Everything
alt-ergo-debugsource-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-gui-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-gui-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything
alt-ergo-gui-debuginfo-2.3.3-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
alt-ergo-gui-debuginfo-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.28)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libgmp.so.10()(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.17)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libm.so.6(GLIBC_2.35)(64bit)
- libz.so.1()(64bit)
= 4308c06ca3ef1fd259c6fedd62b82e5a ocaml(ABWhy3Plugin)
= 920216e2afffefc514bd7bf136250cb5 ocaml(ABWhy3Plugin__Why3_loc)
= f72e866fdbb6b33ea9295487129740a8 ocaml(ABWhy3Plugin__Why3_parser)
= a001944461ce4851b8169e9c2ee9f5b1 ocaml(ABWhy3Plugin__Why3_ptree)
= 9eb66ead7c16505345480d13d62e19da ocaml(AltErgoLib)
= ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Ac)
= 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt)
= 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays)
= 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv)
= 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum)
= cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Explanation)
= 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Expr)
= c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Hstring)
= 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Inequalities)
= b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite)
= b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Loc)
= 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__Numbers)
= 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__NumbersInterface)
= 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Options)
= ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed)
= cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Parsed_interface)
= 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Polynome)
= 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records)
= 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Satml_types)
= aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Shostak)
= f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Sig)
= d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Symbols)
= 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Ty)
= a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Typed)
= ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Util)
= 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Var)
= 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Vec)
= ce89ed8e1069e44be12abf26bc173520 ocaml(AltErgoParsers)
= efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers)
= 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(Big_int)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 5081d1bcddeb541f21ad255ff0aa122f ocaml(FmSimplexPlugin)
= 5ded00302fe3638ce152def6dee2c550 ocaml(FmSimplexPlugin__Simplex)
= 6cc05d77def66de5ff232059321c08e3 ocaml(FmSimplexPlugin__Simplex_cache)
= 3ec00a6f1f5ba9c7faa313eb03850c8d ocaml(MenhirLib)
= cf53074211ea56c636ac753b3faa2286 ocaml(Nat)
= d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Num)
= 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Ratio)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Bytes)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lazy)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Parsing)
= b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Queue)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers(aarch-64)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 2.3.3-6.fc38 alt-ergo
= 2.3.3-6.fc38 alt-ergo(aarch-64)
= 4308c06ca3ef1fd259c6fedd62b82e5a ocaml(ABWhy3Plugin)
= ecd906a14805a47b156a1ef364505fc5 ocaml(ABWhy3Plugin__Why3_lexer)
= 920216e2afffefc514bd7bf136250cb5 ocaml(ABWhy3Plugin__Why3_loc)
= f72e866fdbb6b33ea9295487129740a8 ocaml(ABWhy3Plugin__Why3_parser)
= a001944461ce4851b8169e9c2ee9f5b1 ocaml(ABWhy3Plugin__Why3_ptree)
= 5081d1bcddeb541f21ad255ff0aa122f ocaml(FmSimplexPlugin)
= 608ce0cb5d18156ba2265239019f643f ocaml(FmSimplexPlugin__FmSimplexIneqs)
= 5ded00302fe3638ce152def6dee2c550 ocaml(FmSimplexPlugin__Simplex)
= 6cc05d77def66de5ff232059321c08e3 ocaml(FmSimplexPlugin__Simplex_cache)


نحوه نصب


نصب پکیج rpm alt-ergo:

    dnf install alt-ergo-2.3.3-6.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/88c6b687045a7df44c3702e3963d50a74fff72
/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


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-03-24

Dune 3.7.0 changed the install location of mli files

2023-01-24

Rebuild OCaml packages for F38

2023-01-18

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-08-11

Convert License tag to SPDX
Note that the AB plugin has a different license

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-05

Patch out uses of the dune external-lib-deps command
Patch out references to the seq forward compatibility module
Use new OCaml macros

2022-06-20

Version 2.3.3
Add -menhir patch to fix FTBFS
Add -stdlib-shims patch since Fedora does not need stdlib-shims

2022-06-19

OCaml 4.14.0 rebuild

2022-02-28

Switch to the correct tarball
Drop unneeded ocaml-findlib BR
Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-27

Version 2.3.0
New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages

2021-10-05

OCaml 4.13.1 build

2021-07-29

Rebuild for changed ocamlx(Dynlink)

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-07-19

Move META to the main package