3 ms·MethaneSAT2 points by simonebrunozzi 4y agoJonChesterfield 4y agoNot a SAT solver, some machine that goes into space.