Adding DLX Solver to solution