Pruning of trivial invariants in lsd, deactivated subsystem candidate term lifting.
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Deactivated trivial invariant pruning.
Options for candidate lifting and trivial invariant pruning.
Backward k-induction deactivated by default.
Prune trivial and lift candidates as default.
Better options for invgen.
Merge branch 'invGen-no-explicit' of https://github.com/AdrienChampion/kind2 into invGen-no-explicit
Merge remote-tracking branch 'upstream/inv-gen' into invGen-no-explicit
Added a scope to the init flag uf.
Fixed display of default enabled techniques.
Removed unsat core flag for cvc4 call.
Merge pull request #188 from AdrienChampion/invGen-no-explicit

Swpi configuration with additional options