Implement partial Split #91
Description
During one traversal of the Split algorithm, it might make sense not to split a node with the selected literal. A heuristic for deciding when to skip a split operation has to be found and implemented.
{{ message }}