of

fun of(context: ExecutionContext): Context?

The context library of the solver of the given context, if it is reachable (through context_all/2)

fun of(libraries: Runtime): Context?

The context library among the given libraries, if any (through context_all/2)