MinizincSolver.get_solverids

You're seeing just the function get_solverids, go back to MinizincSolver module for more information.
Link to this function

get_solverids()

Get list of solver ids for solvers available to MinizincSolver.