an SAT problem solver optimized with simulated annealing and genetics algorithm
Primary LanguageJupyter NotebookGNU General Public License v3.0GPL-3.0