Rewriting k-ind, about to add checksats.
Base instance kind of working.
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Functor in place, step not working yet.
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Check-sat assuming now working.
Bug fixes, moved kind to induction.
Bug fix, communication and path extraction.
Optimistic props and backtrack.
Communication with the framework.
Kill solver on normal exit.
Run CVC4 with --rewrite-divk flag
Merge pull request #151 from chsticksel/develop

Run CVC4 with --rewrite-divk flag
Better induction.
Removed tsugi, added base and step.
Path compression and base + step mli.
Factorized actlit module.
Step now deactivates actlits and path compression.
Alternative to step keeping path comp constrained.
Actlit bugfix in step.