Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/stp

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

autounmask sci-mathematics/stp

Or alternatively:

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

Package Information

Description:

STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and by many other applications.

Homepage:

https://stp.github.io/ https://github.com/stp/stp/

License:

GPL-2+ MIT

Versions

Metadata

Description

• STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and by many other applications.

Maintainers

• Jeffrey Lin (jeffrey@icurse.nl) - Type: person
• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

Upstream

• Bugs: https://github.com/stp/stp/issues/
• Remote IDs:
  • github: stp/stp

<pkgmetadata>
	<maintainer type="person" proxied="yes">
		<email>jeffrey@icurse.nl</email>
		<name>Jeffrey Lin</name>
	</maintainer>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription>
    STP is a constraint solver (or SMT solver) aimed at solving
    constraints of bitvectors and arrays. These types of
    constraints can be generated by program analysis tools, theorem
    provers, automated bug finders, cryptographic attack tools,
    intelligent fuzzers, model checkers, and by many other
    applications.
  </longdescription>
	<use>
		<flag name="cryptominisat">
      Enable <pkg>sci-mathematics/cryptominisat</pkg> support
    </flag>
		<flag name="python">
      Enable building the Python interface
    </flag>
	</use>
	<upstream>
		<bugs-to>https://github.com/stp/stp/issues/</bugs-to>
		<remote-id type="github">stp/stp</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] USE flag 'debug' in ebuild 2.3.4 is not documented in metadata.xml
• [Warning] USE flag 'test' in ebuild 2.3.4 is not documented in metadata.xml
• [Warning] USE flag 'debug' in ebuild 2.3.3-r3 is not documented in metadata.xml
• [Warning] USE flag 'test' in ebuild 2.3.3-r3 is not documented in metadata.xml
• [Error] Missing md5-cache for ebuild stp-2.3.4
• [Error] Missing md5-cache for ebuild stp-2.3.3-r3

USE Flags

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

Files

• stp-2.3.3-CMakeLists.txt-fix_cflags.patch
• stp-2.3.3-cstdint.patch
• stp-2.3.3-stp.py-library_path.patch
• stp-2.3.4-gtest.patch
• stp-2.3.4-lit-cfg.patch

Manifest