stp

Description:	Simple Theorem Prover, an efficient SMT solver for bitvectors
Homepage:	https://stp.github.io/ https://github.com/stp/stp/
Location:	Portage

Legend:

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
2.3.3-r3		-	~	-	-	-	-	-	-	-	-	-	-	~

cryptominisat - Enable sci-mathematics/cryptominisat support
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
python - Enable building the Python interface
python_single_target_python3_10 - Build for Python 3.10 only
python_single_target_python3_11 - Build for Python 3.11 only
test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom