Open theodore-norvell opened 6 years ago
There should be an execution mode in which there is no backtracking. This can be done by having alternative backtrack managers.
There should be an execution mode in which there is no backtracking. This can be done by having alternative backtrack managers.