MinizincSolver.stop_solver
You're seeing just the function
stop_solver
, go back to MinizincSolver module for more information.
Link to this function
stop_solver(pid)
Stop solver process.