Separated candidate term generation from implication graph.
Flags, stats, better logging, working invgen.
Bugfix one-state-ification, changed default behavior.
Changed invgen subterm option.
Better output of the final time.
Merge pull request #182 from AdrienChampion/invGen-no-explicit

Invariant generation, one state and two state
Added niceness adjustment for invariant generation
Merge pull request #183 from chsticksel/inv-gen

Added niceness adjustment for invariant generation
Merge remote-tracking branch 'upstream/develop' into invGen-no-explicit
More explicit no_trans_subterms option.
Fixed conflicts in flags.
Backward unrolling, changed many thing. fixes #184
Bugfix in step, not ignoring invariants now.
Subsystem candidate term extraction.
Merge pull request #185 from AdrienChampion/invGen-no-explicit

Invariant generation, one state and two state
Adding bdd related files.
Bdd invgen working.