Updated Readme
Make logicalPredicate satisfiable
Merge pull request #1 from pseudonom/patch-1

Make logicalPredicate satisfiable
Added contributing and updated readme.