fixed description of subformula
Merge branch 'master' of https://github.com/subodhvsharma/constraints
notes for 2nd encoding