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

testCreatingCustomMutableSolver

open override fun testCreatingCustomMutableSolver()

Same as testCreatingCustomSolver, but for SolverFactory.mutableSolverOf, expecting an MT.