Lukas/bugixes
Cnf Formular reading now doesnt read empty clauses if a line end with a 10 like number. Add Extra sanity check if formular is realy solved with dpll ends
Cnf Formular reading now doesnt read empty clauses if a line end with a 10 like number. Add Extra sanity check if formular is realy solved with dpll ends