PDR changes
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Implemented inductive generalization in PDR
Corrected PDR logical error
Corrected logical error in PDR inductive generalization
PDR inductive generalization
Implemented activity tracking of literals in inductive generalization
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Added statistics for tracking inductive generaliztion in PDR
Correcting flag issues, changing PDR inductive generalization hook locations
Debugging PDR inductive gen
Asserting I during inductive generalization on R_1
Added many assertions. PDR now fails if inductive generalization, unsat core, and block in future are all turned off
Move tracing functions down to SMTLIBSolver module
Merge pull request #190 from mebsout/yices_native_support

Move tracing functions down to SMTLIBSolver module
Merge pull request #150 from jbodeen/develop

Inductive Generalization in PDR
Print comments to SMT trace
Merge pull request #192 from chsticksel/develop

Print comments to SMT trace
Fixed stray character
Merge remote-tracking branch 'refs/remotes/upstream/develop' into inv-gen

Conflicts:
	src/PDR.ml