LSD: models at k-1/k returned as a model at 0/1.
LSD: input terms now assumed to be 0/1 not -1/0.
Bug fix for paul.
Bug fix for paul.
Tweaking things for Paul
Bug fix in LSD.
Bugfix in LSD.
Merge remote-tracking branch 'upstream/develop' into invariantGeneration
LSD with models at -1/0.
Merge pull request #158 from AdrienChampion/invariantGeneration

Invariant generation: lock step driver