Sign in

v1

latestOpenAPI 3.1.02026-07-1740131135.9 KB
EMO

Fetch Results

Fetches results from a completed EMO method.

Args: request (EMOFetchRequest): The request object containing parameters for fetching results. user (Annotated[User, Depends]): The current user. session (Annotated[Session, Depends]): The database session.

Raises: HTTPException: If the request is invalid or the EMO method has not completed.

Returns: StreamingResponse: A streaming response containing the results of the EMO method.

post/method/emo/fetch

Request body

problem_idinteger required

Database ID of the problem to solve.

session_idinteger nullable
parent_state_idinteger nullable

State ID of the parent state, if any. Should be None if this is the first state in a session.

num_solutionsinteger

Number of solutions to fetch. If 0, fetch all solutions.

Response

Successful Response

{"stackTrail":"paths:/method/emo/fetch:post:responses:200:content:application/json:schema","oasType":"schema","type":"unknown"}