genetic-algorithm toy genetic algorithm for ai class tested using SAT problems from http://people.cs.ubc.ca/~hoos/SATLIB/benchm.html