I suppose that's true. Still an improvement/would take longer. Also the only way I've tried takes a while to compute, so it might be more efficient to do it b

I suppose that's true. Still an improvement/would take longer. Also the only way I've tried takes a while to compute, so it might be more efficient to do it based on reasoning instead of based on brute forcs? But that might be annoying to users, depending on how long it takes to run each thing. Is there a sweet spot for the computation time is long enough that it is more efficient for a person to reason it out than for a standard home computer to brute force, yet short enough that a human player would not find the delay to be noticeable/annoying?