4 ms·I wonder if SAT solvers could prove the maximum "reach" of inputs into the state...by oakwhiz 1y agoI wonder if SAT solvers could prove the maximum "reach" of inputs into the state...