README updated, generate dimacs bug fixed