support equisatisfiable transformation to dimacs
change scala version to 2.10.1