Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/opensmt

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-mathematics/opensmt

Or alternatively:

emerge --autounmask-write -a sci-mathematics/opensmt

Package Information

Description:: OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API.
Homepage:: http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/
License:: MIT

Versions

Version	EAPI	Keywords	Slot
2.9.2	8	~amd64 ~x86	0/2.9.2
2.7.0	8	~amd64 ~x86	0/2.7.0

Metadata

Description

OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API.

Maintainers

Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

Bugs: https://github.com/usi-verification-and-security/opensmt/issues/
Remote IDs:
- github: usi-verification-and-security/opensmt

Raw Metadata XML

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    OpenSMT2 is an SMT solver written in C++. It supports reading files in
    SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA,
    QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the
    distribution includes a minimal example how to use the API.
  </longdescription>
	<upstream>
		<bugs-to>https://github.com/usi-verification-and-security/opensmt/issues/</bugs-to>
		<remote-id type="github">usi-verification-and-security/opensmt</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

[Warning] USE flag 'debug' in ebuild 2.9.2 is not documented in metadata.xml
[Warning] USE flag 'libedit' in ebuild 2.9.2 is not documented in metadata.xml
[Warning] USE flag 'test' in ebuild 2.9.2 is not documented in metadata.xml
[Warning] USE flag 'debug' in ebuild 2.7.0 is not documented in metadata.xml
[Warning] USE flag 'libedit' in ebuild 2.7.0 is not documented in metadata.xml
[Warning] USE flag 'test' in ebuild 2.7.0 is not documented in metadata.xml
[Error] Missing md5-cache for ebuild opensmt-2.9.2
[Error] Missing md5-cache for ebuild opensmt-2.7.0

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/opensmt | euse -E <flag> -p sci-mathematics/opensmt | euse -D <flag> -p sci-mathematics/opensmt

Flag	Description	2.9.2	2.7.0
debug	Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces	✓	✓
libedit	Use the libedit library (replacement for readline)	✓	✓
test	Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)	✓	✓

Files

opensmt-2.7.0-cmake_minimum.patch

Manifest

Type	File	Size	Versions
DIST	opensmt-2.7.0.gh.tar.gz	1532323 bytes	2.7.0
DIST	opensmt-2.9.2.gh.tar.gz	1462738 bytes	2.9.2

Unmatched Entries

Type	File	Size

sci-mathematics/opensmt (gentoo)