Changed flags for CVC4 with unsat cores
Merge pull request #149 from chsticksel/develop

Changed flags for CVC4 with unsat cores
Run CVC4 with --rewrite-divk flag
Merge pull request #151 from chsticksel/develop

Run CVC4 with --rewrite-divk flag
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Added a lockStepDriver for Paul.