
iProver a theorem prover for first-order logic

============
To run: 
=========

export STAREXEC_WALLCLOCK_LIMIT=300
./starexec_run_iprover_FOF Problem.p

For other types of problems TFA, FNT, UEQ, SMT
use the corresponding starexec_run_iprover_*


To compile from source: 
=============
unzip iprover_*zip 
cd iprover_source_dir
./configure
make 

cp iproveropt ../res/iproveropt_static_z3
cd ../


(email: Konstantin Korovin kostyakor[@]gmail.com)

