LSD: models at k-1/k returned as a model at 0/1.
Merge remote-tracking branch 'origin/invariantGeneration'
LSD: input terms now assumed to be 0/1 not -1/0.
Merge remote-tracking branch 'origin/invariantGeneration'
Adding more documentation