Sat, 14 Dec 2024 04:38:55 UTC | login

Information for RPM alt-ergo-2.3.3-17.fc40.src.rpm

ID1254252
Namealt-ergo
Version2.3.3
Release17.fc40
Epoch
Archsrc
SummaryAutomated theorem prover including linear arithmetic
DescriptionAlt-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.
Build Time2024-03-20 07:08:51 GMT
Size2.83 MB
f60245f1133f7ac8b2ead2acddd2ba4d
LicenseApache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildrootf40-build-793243-138788
Provides
alt-ergo = 2.3.3-17.fc40
alt-ergo-debuginfo = 2.3.3-17.fc40
alt-ergo-debugsource = 2.3.3-17.fc40
alt-ergo-gui = 2.3.3-17.fc40
ocaml-alt-ergo-lib = 2.3.3-17.fc40
ocaml-alt-ergo-lib-devel = 2.3.3-17.fc40
ocaml-alt-ergo-parsers = 2.3.3-17.fc40
ocaml-alt-ergo-parsers-devel = 2.3.3-17.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
desktop-file-utils
gtksourceview2-devel
libappstream-glib
make
ocaml >= 4.04.0
ocaml-dune
ocaml-lablgtk-devel
ocaml-menhir
ocaml-num-devel
ocaml-ocplib-simplex-devel >= 0.4
ocaml-psmt2-frontend-devel >= 0.2
ocaml-zarith-devel
ocaml-zip-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 11 of 11
Name ascending sort Size
alt-ergo-dune3.patch868.00 B
alt-ergo-forward-compat.patch2.37 KB
alt-ergo-free-2.3.0.tar.gz2.34 MB
alt-ergo-free-2.3.3.tar.gz388.29 KB
alt-ergo-icons.tar.xz60.82 KB
alt-ergo-menhir.patch540.00 B
alt-ergo-pervasives.patch7.06 KB
alt-ergo-psmt2-frontend.patch651.00 B
alt-ergo.desktop189.00 B
alt-ergo.metainfo.xml1.41 KB
alt-ergo.spec23.83 KB
Component of No Buildroots