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, < 5.0.0 cass >= 3.0.0, < 5.0.0 csv >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 process >= 3.0.0, < 4.0.0 rw-data >= 1.0.0
Author
Michael Hanus <mh@informatik.uni-kiel.de>
Executable installed by package
curry-transbooleq
License
BSD-3-Clause / License file
Further infos:
- Package specification
- Package dependencies

Uploaded at Oct 2 12:57:46 2024 (UTC)

Succesfully tested at Dec 30 06:35:16 2024

Curry Package transbooleq

Download

Checkout with CPM:: cypm checkout transbooleq 3.2.0
Package source:: transbooleq-3.2.0.tar.gz [browse]
Source repository:: https://github.com/curry-packages/transbooleq.git