opensmt

Description:	Compact and open-source SMT-solver written in C++
License:	MIT
Homepage:	http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/
Location:	Portage

Legend:

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

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)
readline - Enable support for libreadline, a GNU line-editing library that almost everyone wants
test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Also available in: Atom