[console_scripts]
idp-solver=idp_solver.IDP_Z3:cli

