test-solve/it.unibo.tuprolog.solve/TestSolverConstructionImpl/testCreatingEmptySolver

testCreatingEmptySolver

open override fun testCreatingEmptySolver()

Tests that SolverFactory.solverOf, called with no argument, returns a T with every default property.