M7_chemical_SAT_solver.ipynb 11.4 KB