SAT_Solver_by_GA a sat solver by using GA you need to install numba and pycosat by using pip just run as python ga_search.py if you want to change the config,just do as python ga_search.py -x XXX -c XXX -k XXX -p XXX ...