Comment by oakwhiz Comment by oakwhiz 3 days ago 0 replies Copy Link View on Hacker News I wonder if SAT solvers could prove the maximum "reach" of inputs into the state...