defaultUniqueSolutionsIsOff
Tests that it.unibo.tuprolog.solve.flags.UniqueSolutions's default value is off, and that the query
?- current_flag(unique_solutions, off).Content copied to clipboard
succeeds on a solver initialized with default built-ins.