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

testBuildingCustomMutableSolverWithDefaultBuiltins

abstract fun testBuildingCustomMutableSolverWithDefaultBuiltins()

Same as testBuildingCustomSolverWithDefaultBuiltins, but calling .buildMutable(), expecting an MT.