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