3 ms·Not a SAT solver, some machine that goes into space.by JonChesterfield 4y agoNot a SAT solver, some machine that goes into space.