Package yices: Information
Source package: yices
Version: 2.3.0-alt3
Build time: Feb 20, 2019, 01:27 AM in the task #222098
Category: Sciences/Mathematics
Report package bugHome 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, i586, aarch64)
libyices-debuginfo (x86_64, i586, aarch64)
libyices-devel (x86_64, i586, aarch64)
yices (x86_64, i586, aarch64)
yices-debuginfo (x86_64, i586, aarch64)
yices-docs (noarch)
libyices (x86_64, i586, aarch64)
libyices-debuginfo (x86_64, i586, aarch64)
libyices-devel (x86_64, i586, aarch64)
yices (x86_64, i586, aarch64)
yices-debuginfo (x86_64, i586, aarch64)
yices-docs (noarch)
Maintainer: Eugeny A. Rostovtsev
Last changed
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
March 16, 2015 Eugeny A. Rostovtsev 2.3.0-alt1
- Initial build for Sisyphus