Gentoo Packages

sci-mathematics/yices2 (gentoo)

Search

Package Information

Description:
Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic. 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.
Homepage:
https://github.com/SRI-CSL/yices2/

Versions

Version EAPI Keywords Slot
2.6.5 8 ~amd64 ~x86 0/2.6.5

Metadata

Description

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    Yices 2 is an SMT solver that decides the satisfiability of formulas
    containing uninterpreted function symbols with equality, real and integer
    arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both
    linear and nonlinear arithmetic. 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.
  </longdescription>
	<use>
		<flag name="mcsat">Enable support for MCSAT</flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/SRI-CSL/yices2/issues/</bugs-to>
		<remote-id type="github">SRI-CSL/yices2</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Flag Description 2.6.5
mcsat Enable support for MCSAT ⊕

Manifest

Type File Size Versions
DIST yices2-2.6.5.gh.tar.gz 10387735 bytes 2.6.5
Unmatched Entries
Type File Size