Solver descriptions are ZIPs