Closed salmans closed 9 years ago
In the configuration settings of Razor, depth = -1 indicates an unbounded search. However, when typing depth -1 in the theory mode, Razor reports a parsing error.
depth -1
In the configuration settings of Razor, depth = -1 indicates an unbounded search. However, when typing
depth -1in the theory mode, Razor reports a parsing error.