e23c09e9d6
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, intelligent fuzzers and model checkers. ok benoit@
11 lines
282 B
Plaintext
11 lines
282 B
Plaintext
@comment $OpenBSD: PLIST,v 1.1.1.1 2009/12/17 09:43:28 kevlo Exp $
|
|
@bin bin/stp
|
|
include/stp/
|
|
include/stp/c_interface.h
|
|
include/stp/fdstream.h
|
|
lib/libstp.a
|
|
share/doc/stp/
|
|
share/doc/stp/EXE-STP-TISSEC-Journal-2007.pdf
|
|
share/doc/stp/EXE-STP.pdf
|
|
share/doc/stp/vijayganesh-stp-paper.pdf
|