Bug 522388

Summary:	dev-libs/stp - Simple Theorem Prover
Product:	Gentoo Linux	Reporter:	Michael Jones <gentoo>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	RESOLVED FIXED
Severity:	enhancement	Keywords:	PullRequest
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://stp.github.io/stp/
See Also:	https://github.com/gentoo/gentoo/pull/10735
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	522392

Description Michael Jones 2014-09-08 15:28:06 UTC

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

Comment 1 Larry the Git Cow gentoo-dev

2019-10-21 14:32:21 UTC

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(+)