Heuristic Theorem Prover (from SMT-COMP'06)
To build:
make
To run after build:
c-engine < smtlib file
This version is still being debugged. It was originally written around 2006 for a 32 bit environment.
-
Notifications
You must be signed in to change notification settings - Fork 0
Heuristic Theorem Prover (from SMT-COMP'06)
License
kendroe/htp
About
Heuristic Theorem Prover (from SMT-COMP'06)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published