gui/it.unibo.tuprolog.ui.gui.solver/SolverSessionFactory/create

create

abstract suspend fun create(request: SolverSessionCreationRequest): SolverSession

Builds a new session ready to resolve queries against, seeded from request.