Lifted Sequential Planning with Lazy Constraint Generation Solvers