Implementation of an algorithm to decide the dominating set problem based on the splitter-game. See ba.pdf for a description of the algorithm.