Package yices: Information
Source package: yices
Version: 2.3.0-alt4
Build time: Mar 26, 2021, 02:19 PM in the task #268439
Category: Sciences/Mathematics
Report package bugFTBFS | ||
---|---|---|
Architecture | FTBFS since | Update |
x86_64 | April 23, 2024 | April 23, 2024 |
Home page: http://yices.csl.sri.com/
License: Noncommercial use only
Summary: The Yices SMT Solver
Description:
Yices 2 is an 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 Yices 2's own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software.
List of rpms provided by this srpm:
libyices (x86_64, ppc64le, i586, armh, aarch64)
libyices-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libyices-devel (x86_64, ppc64le, i586, armh, aarch64)
yices (x86_64, ppc64le, i586, armh, aarch64)
yices-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
yices-docs (noarch)
libyices (x86_64, ppc64le, i586, armh, aarch64)
libyices-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libyices-devel (x86_64, ppc64le, i586, armh, aarch64)
yices (x86_64, ppc64le, i586, armh, aarch64)
yices-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
yices-docs (noarch)
Maintainer: Eugeny A. Rostovtsev
List of contributors:
Grigory Ustinov
Gleb Fotengauer-Malinovskiy
Ivan Zakharyaschev
Eugeny A. Rostovtsev
Grigory Ustinov
Gleb Fotengauer-Malinovskiy
Ivan Zakharyaschev
Eugeny A. Rostovtsev
ACL:
@nobody
@nobody
Last changed
March 26, 2021 Grigory Ustinov 2.3.0-alt4
- Fixed FTBFS with -fcommon.
Feb. 20, 2019 Gleb Fotengauer-Malinovskiy 2.3.0-alt3
- Fixed build on non-x86 architectures.
April 11, 2016 Ivan Zakharyaschev 2.3.0-alt2
- It fails during parallel builds randomly (sometimes); therefore: NPROCS=1