GitHub repository: ErnstEksteen/COS301_GA-SATSolver
Primary language: Python
Description: Solving SAT problems with Genetic Algorithms