solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
Primary LanguagePython