This manual is about the HEX language and the solvers dlvhex and hexlite. Download the manual here or from the releases here.