Uploaded at Jun 17 22:09:25 2021 (UTC)
Succesfully tested at Mar 13 05:50:09 2024

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.


Download

Checkout with CPM:
cypm checkout transbooleq 3.1.0
Package source:
transbooleq-3.1.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/transbooleq.git