Mon, 13 May 2024 00:10:14 UTC | login

Information for RPM yices-2.6.1-1.fc30.src.rpm

ID297083
Nameyices
Version2.6.1
Release1.fc30
Epoch
Archsrc
SummarySMT solver
DescriptionYices 2 is an efficient SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported). Alternatively, you can write specifications using the Yices 2 specification language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software.
Build Time2018-12-04 18:29:10 GMT
Size7.97 MB
2c664eb5c928865c6f4d0d331ab6b612
LicenseGPLv3+
Buildrootf30-build-36039-20252
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc
gmp-devel
gperf
libpoly-devel
libtool
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
tex(latex)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
Yices-2.6.1.tar.gz8.49 MB
yices.spec3.41 KB
Component of No Buildroots