Parser added, one bug fixed

Added parser for files in .cnf format, fixed a bug in the solver