testBuildingSolverWithDefaultBuiltins

Tests that SolverFactory.newBuilder().build() (without calling .noBuiltins()) returns a T whose only library is the suite's defaultBuiltins (equivalent to testCreatingSolverWithDefaultBuiltins, but through the builder API).