Boolean_Satisfiability_Problem The 'sat' problem was solved by Genetic algorithm and simulated annealing with Python in google collab.