MinizincSolver.lookup
You're seeing just the function
lookup
, go back to MinizincSolver module for more information.
Link to this function
lookup(solver_id)
Lookup a solver by (possibly partial) id; for results, it could be 'cplex' or 'org.minizinc.mip.cplex'