3 ms·I think it would be super neat to also compare this to a generic SAT solver based solution.by lalaland1125 5y agoI think it would be super neat to also compare this to a generic SAT solver based solution.cerved 5y agoor CP solverwhatever1 5y agoOr an Integer Programming solver