My MAX-SAT solver uses stochastic local search, tabu search, and simulated annealing.
Primary LanguagePythonMIT LicenseMIT