An Exact Cover Solver