Creator for randomized CNF-Formula added
fixed merge error
Merge branch 'master' of https://github.com/master-lincoln/3-sat-crititcal-number

Conflicts:
	src/main/java/de/unihl/algo/three_sat_crititcal_number/CNFFormula.java