Pre-compiled Binary

How to run HiFrog for a specific theories of SMT?

 

 

 

 

 
A virtual machine containing a pre-compiled binary of HiFrog in Linux for TACAS2017 paper is available here.

Some of our benchmark set for TACAS 2017 is available here.