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.