testCreatingCustomSolver

Tests that SolverFactory.solverOf, called with an explicit custom library runtime, flags, static/dynamic theory and I/O channels, returns a T configured with exactly those values (and no default built-ins).