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 paper:
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, 73-88
http://dx.doi.org/10.1007/978-3-319-27436-2_5
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.