Bugfix: Show property status in single process run
Merge pull request #146 from chsticksel/develop

Bugfix: Show property status in single process run
Bugfix for exists_eval_on_path

This prevented PDR from eliminating properties it had disproved itself.
Merge pull request #147 from chsticksel/develop

Bugfix for exists_eval_on_path
Expose unique identifier of term with Term.tag
Merge pull request #148 from chsticksel/develop

Expose unique identifier of term with Term.tag
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
Numerals are always positive, else wrap in uminus
Merge pull request #152 from chsticksel/develop

Numerals are always positive, else wrap in uminus
Merge remote-tracking branch 'origin/develop'
Prepare for integate with Adrien's BMC and IND