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