3 ms·more like a reduction to SAT than a standalone algorithm though.by utopcell 8y agomore like a reduction to SAT than a standalone algorithm though.