JaredLGillespie/3SAT-GA-WOC

Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.