Add option binaryFormat in constraint File