Masala: The Repository of Curry Packages

Last page: Version/show/Version538
Succesfully tested at May 20 04:57:48 2024

Curry Package transbooleq

A transformation tool to replace Boolean equalities by equational constraints

Detailed package documentation (available shortly after this version has been published)