** TODO: Add description **
Elixir Genetic Algorithm for approximating solutions to the MaxSAT problem