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.
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.
Merge remote-tracking branch 'upstream/develop' into Adrien_cleaning-k-induction
Added a lockStepDriver for Paul.