saved regex version of the regex based solver
o added test .cnf files\n o uses new sat4j lib in logic solver\n