Modular Heuristics #4
Description
Reducing the number of possible inputs by reasoning about the argument types? Eliminating certain functions by reasoning about output types?
The argument here is that maybe the core code should make no assumptions about pruning the search space and instead try everything, except when heuristics are applied in a way that's easy to plug and unplug them.
Would need some design work to figure out how to do all the plugging.