Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM alt-ergo-2.3.3-21.fc41.src.rpm

ID	1362191
Name	alt-ergo
Version	2.3.3
Release	21.fc41
Epoch
Arch	src
Summary	Automated theorem prover including linear arithmetic
Description	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.
Build Time	2024-07-25 05:33:48 GMT
Size	2.83 MB
SIGMD5	6c9231e04a850a622d876d324b1692a3
License	Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildroot	f41-build-820726-152300
Provides	alt-ergo = 2.3.3-21.fc41 alt-ergo-gui = 2.3.3-21.fc41 ocaml-alt-ergo-lib = 2.3.3-21.fc41 ocaml-alt-ergo-lib-devel = 2.3.3-21.fc41 ocaml-alt-ergo-parsers = 2.3.3-21.fc41 ocaml-alt-ergo-parsers-devel = 2.3.3-21.fc41
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 12 of 12 Name Size alt-ergo-dune3.patch 868.00 B alt-ergo-forward-compat.patch 2.37 KB alt-ergo-free-2.3.0.tar.gz 2.34 MB alt-ergo-free-2.3.3.tar.gz 388.29 KB alt-ergo-icons.tar.xz 60.82 KB alt-ergo-inline-error.patch 1.09 KB alt-ergo-menhir.patch 540.00 B alt-ergo-pervasives.patch 7.06 KB alt-ergo-psmt2-frontend.patch 651.00 B alt-ergo.desktop 189.00 B alt-ergo.metainfo.xml 1.41 KB alt-ergo.spec 24.46 KB
Component of	No Buildroots