Package libyices-devel: Information
Binary package: libyices-devel
Version: 2.3.0-alt4
Architecture: aarch64
Build time: Mar 26, 2021, 02:19 PM in the task #268439
Source package: yices
Category: Development/C
Report package bugDownload: libyices-devel-2.3.0-alt4.aarch64.rpm
Home page: http://yices.csl.sri.com/
License: Noncommercial use only
Summary: Development files of yices
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. This package contains development files of yices.
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
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