solverOf
fun solverOf(arg2p: Arg2pSolver, theory: String, extra: Runtime = Runtime.empty(), output: OutputChannel<String> = OutputChannel.stdOut()): MutableSolver
A solver of the libraries of arg2p, and the extra ones, for theory (its clauses tagged with the identifiers of their comments, see RuleAnnotations): unknown predicates fail (the hooks a theory may define, as conflict/2 and sup/2, are called whether it does or not), what it prints goes to output (the standard output by default)