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.