getSolver

Builds a fresh Solver according to this command's options: it loads and merges every theory file given via -T/--theory (skipping any that isReadableFile deems unreadable, and reporting a it.unibo.tuprolog.core.parsing.ParseException for any that fails to parse) into the static knowledge base, always loads :io-lib's it.unibo.tuprolog.solve.libs.io.IOLib plus this command's additionalLibraries, additionally loads :oop-lib's it.unibo.tuprolog.solve.libs.oop.OOPLib when --oop was given, enables the it.unibo.tuprolog.solve.flags.TrackVariables flag, and routes solve warnings to the terminal (with their logic stack trace). As a side effect, it echoes the 2P-Kt version and the alias of each loaded library to standard output.

Exposed so TuPrologSolveQuery can obtain the same, fully-configured solver its parent command builds.