portage-ng --info
>>> Printing information for: portage://sci-mathematics/stp-2.3.4-r1
----------------------------------------------------------------------------------------------------------------------------------------------------------------
description :
Simple Theorem Prover, an efficient SMT solver for bitvectors
homepage :
https://stp.github.io/ https://github.com/stp/stp/
maintainer :
sci-mathematics@gentoo.org
license :
GPL-2+
MIT
eapi :
8
slot :
0
subslot :
2.3.4
----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse :
cryptominisat
debug
+python
test
python_single_target_python3_12
python_single_target_python3_13
python_single_target_python3_14
required_use :
use python
one
python_single_target_python3_12
python_single_target_python3_13
python_single_target_python3_14
use test
python
keywords :
unstable(amd64)
unstable(x86)
properties :
[not set]
eclasses :
toolchain-funcs
flag-o-matic
eapi9-pipestatus
multiprocessing
python-utils-r1
python-single-r1
ninja-utils
xdg-utils
cmake
defined_phases :
compile
configure
install
prepare
setup
test
installed :
[not set]
----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri :
stp-2.3.4.tar.gz
----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend :
sys-apps/help2man
use test
dev-cpp/gtest
dev-python/outputcheck
dev-python/lit
app-alternatives/ninja
>=dev-build/cmake-3.28.5
depend :
dev-libs/boost:=
sci-mathematics/minisat:=
virtual/zlib:=
use cryptominisat
dev-db/sqlite:3
dev-libs/icu:=
sci-mathematics/cryptominisat:=
use python
use python_single_target_python3_12
dev-lang/python:3.12
use python_single_target_python3_13
dev-lang/python:3.13
use python_single_target_python3_14
dev-lang/python:3.14
idepend :
[not set]
rdepend :
dev-libs/boost:=
sci-mathematics/minisat:=
virtual/zlib:=
use cryptominisat
dev-db/sqlite:3
dev-libs/icu:=
sci-mathematics/cryptominisat:=
use python
use python_single_target_python3_12
dev-lang/python:3.12
use python_single_target_python3_13
dev-lang/python:3.13
use python_single_target_python3_14
dev-lang/python:3.14
pdepend :
[not set]