Added option for initial variables setting in SAT, renamed solve_cnf to simplify_cnf