Package yices: Information
Source package: yices
Version: 2.3.0-alt2
Build time: Apr 11, 2016, 11:14 AM in the task #162842
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)
libyices-debuginfo (x86_64, i586)
libyices-devel (x86_64, i586)
yices (x86_64, i586)
yices-debuginfo (x86_64, i586)
yices-docs (noarch)
libyices (x86_64, i586)
libyices-debuginfo (x86_64, i586)
libyices-devel (x86_64, i586)
yices (x86_64, i586)
yices-debuginfo (x86_64, i586)
yices-docs (noarch)
Maintainer: Eugeny A. Rostovtsev
Last changed
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