kSATGeneticAlgorithm. Modify the global variables for different constraints on the GA and population, then compile with your favorite C++ compiler.