Rewriting k-ind, about to add checksats.
Update README.md
Merge pull request #145 from chsticksel/develop

Accessor function for term and name of named term
Merge pull request #146 from chsticksel/develop

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

Bugfix for exists_eval_on_path
Base instance kind of working.
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Functor in place, step not working yet.
Merge pull request #148 from chsticksel/develop

Expose unique identifier of term with Term.tag
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Check-sat assuming now working.
Bug fixes, moved kind to induction.
Merge pull request #149 from chsticksel/develop

Changed flags for CVC4 with unsat cores
Bug fix, communication and path extraction.
Optimistic props and backtrack.
Communication with the framework.
Kill solver on normal exit.
Merge pull request #151 from chsticksel/develop

Run CVC4 with --rewrite-divk flag
Better induction.
Removed tsugi, added base and step.