check
abstract fun checkModel(modelCheckerRequest: ModelCheckerRequest): ApiResult<ModelCheckerResponse>(source)
Checks if a graph is a model of a formula. Validates the input and transforms the feedback as requested.
Return
The ApiResult of the ModelChecking request.
Parameters
model
The request data, containing the selected language, graph, formula and desired feedback.