How to cancel a solve through the rosepy Python library

Prerequisites

First you need to install and configure the rosepy Python library.

Cancelling a solve

To cancel a solve, you need its solve ID as a string. Solve IDs are in the GUID format.

from rosepy.solver import Solver
solver = Solver()
result = solver.cancel_solve(solve_id)

result will return True if the cancelling operation has started, and False otherwise.