this solve the SAT problem with _basic and _improve method
Primary LanguageC
No issues in this repository yet.