fixed dominos solver, added let-plus as dependency