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)