Comment by oakwhiz Comment by oakwhiz 2 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...