transbooleq: A tool to transform Boolean equalities into constraints

This package contains the implementation of a transformation tool that replaces Boolean equalities by equational constraints in FlatCurry programs.

The tool is integrated into the compilation chain of PAKCS/KiCS2. The motivation and ideas of this tool are described in the following papers:

Antoy, S., Hanus, M.: From Boolean Equalities to Constraints Proceedings of the 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015), Springer LNCS 9527, 2015, pp. 73-88

Antoy, S., Hanus, M.: Transforming Boolean equalities into constraints Formal Aspects of Computing, 29(3), 2017, pp. 475-494

Statistics about the number of transformations are shown with increased verbosity levels. For instance, if one sets the option “v2” in PAKCS/KiCS2, a summary of the number of transformation is shown, with option “v3” more details (analysis infos, timings, and functions where transformations are applied) are shown and a CSV file with this information is generated.