Wed, 28 Oct 2020 08:33:19 UTC

Information for RPM alt-ergo-2.0.0-10.fc32.src.rpm

ID21011373
Namealt-ergo
Version2.0.0
Release10.fc32
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 Time2020-03-27 22:11:02 GMT
Size505,960
062d8443b9a3af37924b39588e8b45b1
LicenseASL 2.0
Buildrootf32-build-20014981-1419148
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
desktop-file-utils
gtksourceview2-devel
ocaml
ocaml-findlib
ocaml-lablgtk-devel
ocaml-menhir-devel
ocaml-num-devel
ocaml-ocplib-simplex-devel
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 7 of 7
Name ascending sort Size
alt-ergo-1.30-use-pic.patch690
alt-ergo-2.0.0-newline.patch1,421
alt-ergo-2.0.0.tar.gz428,444
alt-ergo-icons.tar.xz62,276
alt-ergo.appdata.xml1,158
alt-ergo.desktop189
alt-ergo.spec14,583
Component of No Buildroots