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

testCreatingCustomMutableSolver

abstract fun testCreatingCustomMutableSolver()

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