def run_sat_solver_command(context: Context) -> None: main_path = Path(__file__).parents[3] / 'cugen' / '__main__.py' maximum_number_of_generations = '1000000' population_size = '10' selection_ratio = '0.5' mutation_probability = '.25' sat_solver_process = subprocess.Popen([ sys.executable, main_path.as_posix(), context.path_to_dimacs_file.as_posix(), maximum_number_of_generations, population_size, mutation_probability, selection_ratio ], stdout=subprocess.PIPE) process_output = sat_solver_process.communicate()[0] context.best_individual = eval(','.join( process_output.decode().strip().split()))
def run_the_solver_in_easy_mode(context: Context): context.best_individual = optimize(context.formula, maximum_number_of_generations=1000000, population_size=10, selection_ratio=0.5, mutation_probability=.25)