more structured tests
additional mutation operator
more heuristics, more tests, bugfix in test
with 3SAT-L3
more structure in Heuristics
with 3SAT-M4
beginning 3SAT-R1
more generic LHHs
3SAT-R2 finished
faster 3SAT-R2
starting 3SAT-C2
starting 3SAT-C2
3SAT-C2 finished
making 3SAT-constraint2 more reliable
more generic tests for WECs
TSWEC1T+TSWEC2T reformed
starting major refactoring
major refactoring done
bugfix
removing sout