3 ms·Man, I need to reserve a weekend to play with a SAT solver.by tofflos 7y agoMan, I need to reserve a weekend to play with a SAT solver.