Initial working version of DLXSolver