Add a Review
27 Downloads (This Week)
Last Update:
Browse All Files


STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer

STP Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of STP!

Additional Project Details

Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.