Somehow working
Somehow working
Merge branch 'OccurenceMapMethod' of github.com:gleniam/3SAT_CNF into OccurenceMapMethod

Conflicts:
	SlowSATSolver/src/ProfilingStuff/CNFSatInstance.java
Trying to fix conflicts