4 ms·I wonder if a SAT solver would be able to find the next number, if it exists.by Houshalter 11y agoI wonder if a SAT solver would be able to find the next number, if it exists.