46 ms·Encode it into a SAT instance and use a solver.by fooker 8y agoEncode it into a SAT instance and use a solver.