Update README.md
For the non bounded case optimize the creation of the constraints for the bounds.
Improve the grounding of the constraints and update the voting example.
Update README.md
Add the lower and upperbond back to the consensus vertex definition.
Merge branch 'master' of https://github.com/uzh/wolf
Push upper and lower bounds inside the nodes.
Small fixes.
Make pushing bounds configurable through a flag.
Measure also function creation time.
Add more precise measurement of time.
Fixing the time evaluation.
Fixed typo.
Fix parser to parse multiple lines of class definitions
Define hashCode for individuals and variables.
New MovieRecommendation example
Exit if there are no things to ground.
Add possibility to parse the rules from multiple files.
Remove some of the unnecessary logging.
Fix the parser to allow classes with no individuals.