Package: wnpp Severity: wishlist Owner: Michael Tautschnig <mt@debian.org> * Package name : stp Version : 1.0 Upstream Author : Vijay Ganesh * URL : http://stp.github.io/ * License : MIT Programming Lang: C++ Description : simple theorem prover SMT solver 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. STP is a dependency of KLEE, that I ITP as well. Best regards, Michael
Attachment:
pgpvxQQhrAjPx.pgp
Description: PGP signature