View the Project on GitHub

BLT: Boogie Less Triggers

What is BLT?

Try out BLT

BLT Usage

See the translation in STDOUT:
BLT --file=<yourBoogieFile.bpl>

Or write them into seperate files:
BLT --file=<yourBoogieFile.bpl> --tofile=True

Another option is to enable Tuple encoding:
BLT --file=<yourBoogieFile.bpl> --usetuple=True


Does BLT suit your interest? Or do you wish to use BLT for other research? Please feel free drop us a mail anytime!