Perhaps as "dev-libs/stp" ? This library is useful for quality assurance type programs for automated bug finders, among many others. Excerpt from website: STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, biology, cryptography, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities. It is also being used at many companies such as NVIDIA, some startup companies, and by certain government agencies. Reproducible: Always
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4146e80b7fd150a9c810bcf9544ac3091c582c2b commit 4146e80b7fd150a9c810bcf9544ac3091c582c2b Author: Jeffrey Lin <jeffrey@icurse.nl> AuthorDate: 2019-01-04 03:56:34 +0000 Commit: Joonas Niilola <juippis@gentoo.org> CommitDate: 2019-10-21 14:32:09 +0000 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> dev-libs/stp/Manifest | 1 + dev-libs/stp/metadata.xml | 26 +++++++++++++++++++++++++ dev-libs/stp/stp-2.3.3.ebuild | 44 +++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 71 insertions(+)
