Initial commit of code
Merge remote-tracking branch 'upstream/master'

Conflicts:
	README.md
Add forbidden clauses and update random sampling
Merge pull request #2 from mfeurer/master

Initial version which has basic features