Succesfully tested at Oct 24 04:45:58 2020

Curry Package transbooleq

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

Antoy, S., Hanus, M.: Transforming Boolean equalities into constraints Formal Aspects of Computing, 29(3), 2017, pp. 475-494 http://dx.doi.org/10.1007/s00165-016-0399-6

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 2.0.0
Package source:
transbooleq-2.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/transbooleq.git