Package
transbooleq
All Packages
Categories
Recent Uploads
Masala
Curry Package Manager
Curry Homepage
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 Oct 13 06:04:39 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