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

Gear: https://git.altlinux.org/gears/y/yices.git?a=tree;hb=9a4b639afc0…

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)

Maintainer: Eugeny A. Rostovtsev

ACL:
@nobody