Add option binaryFormat in constraint file