A construction of lattices on certain solvable Lie groups

The purpose in this paper is to prove that there exists a lattice on certain solvable Lie groups and to construct a symplectic solvmanifold with the Hard Lefschetz property, and a locally conformal Kähler solvmanifold. We see that minimal models for these solvmanifolds are formal.