Description: C++ implementation of a Genetic algorithm (GA). A population of binary chromosomes is generated randomly to attempt to solve the Weighted MAX SAT Problem. Parameters of crossover, mutation, population size can be controlled via macros in code.There are text files for testing on.
File list (Check if you may need any files):
2.cpp
auc1.txt
auc2.txt
auc3.txt
auc6.sat
Download