MAX-SAT Evolutionary Solver
Developed a MAX-SAT solver supporting WDIMACS benchmark instances. Implements clause evaluation, population-based evolutionary search (selection, crossover, mutation), and time-budgeted optimisation to maximise satisfied clauses.