dev-libs / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Official package sites : https://stp.github.io/ ·

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.

v2.3.3 :: 0 :: gentoo

Modified
License
GPL-2+ MIT
Keywords
~amd64 ~x86
USE flags
python test

General

python
Enable building the Python interface
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

dev-libs / boost : Boost Libraries for C++

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

dev-libs / boost : Boost Libraries for C++

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

Repository mirror & CI · gentoo
Merge updates from master
Jeffrey Lin · gentoo
dev-libs/stp: declare boost as dependency
Also remove static flag as that requires (boost and) minisat with static-libs, which isn't packaged. Closes: https://bugs.gentoo.org/699630 Package-Manager: Portage-3.0.4, Repoman-3.0.0 Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl> Closes: https://github.com/gentoo/gentoo/pull/17218 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Andreas Sturmlechner · gentoo
dev-libs/stp: Switch to cmake.eclass
Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: [QA] Fix trivial cases of MissingTestRestrict
The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Joonas Niilola · gentoo
dev-libs/stp: fix 'doman'
Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Jeffrey Lin · gentoo
dev-libs/stp: new package
Closes: https://bugs.gentoo.org/522388 Package-Manager: Portage-2.3.53, Repoman-2.3.12 Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl> Closes: https://github.com/gentoo/gentoo/pull/10735 Signed-off-by: Joonas Niilola <juippis@gentoo.org>