3 ms·
That's probably correct. But any reasonable execution environment has so many states that doing a full enumeration is infeasible.
by usr1106 6y ago
That's probably correct. But any reasonable execution environment has so many states that doing a full enumeration is infeasible.