ECLiPSe Constraint Logic Programming System (64 bit)