simplifyingSTP.tar.gz (simplifyingSTP.tar.gz( 外部リンク: SF.net): 2,679,993 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
STP（Simple Theorem Prover） ：プログラム解析ツール、テスト生成ツール、モデル検査器、バグ発見器、ハードウェア/ソフトウェアに対する形式検証ツール、インテリジェント fuzzer などの出力である論理式や制約についての制約ソルバ/決定手続き
