transbooleq-3.2.0 ----------------- Version 3.2.0 Author Michael Hanus Synopsis A transformation tool to replace Boolean equalities by equational constraints Category Analysis Optimization 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 Executable Name curry-transbooleq Main module BindingOpt Test suite Directory examples Test modules Expressions Grep Half Last Various Source Git https://github.com/curry-packages/transbooleq.git@v3.2.0 License BSD-3-Clause License file LICENSE