Synopsis
A transformation tool to replace Boolean equalities by equational constraints
Categories
Analysis Optimization
Versions
3.2.0 3.1.0 3.0.0 2.0.0 0.2.0
Dependencies
base >= 3.0.0, < 4.0.0 cass-analysis >= 3.0.0, < 4.0.0 cass >= 3.0.0, < 4.0.0 csv >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 4.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 3.0.0, < 4.0.0 kics2 >= 3.0.0, < 4.0.0
Executable installed by package
curry-transbooleq
License
Further infos:
- Package specification
- Package dependencies

Uploaded at Nov 4 16:55:07 2020 (UTC)

Succesfully tested at Dec 9 05:23:35 2020

Curry Package transbooleq

Download

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