GitHub repository: JaredLGillespie/3SAT-GA-WOC
Primary language: Python
Created: 2017-11-01T16:55:57Z
Description: Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.