Solver for Parameterized Coverability