Uploaded at Jan 7 11:29:59 2021
Succesfully tested at Jan 24 07:55:58 2021

Curry Package transbooleq

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.


Checkout with CPM:
cypm checkout transbooleq 3.1.0
Package source:
transbooleq-3.1.0.tar.gz [browse]
Source repository: