Disco Zoo Solver