clpbool-2.1.0
-------------
Version      2.1.0
Author       Sebastian Fischer <sebf@informatik.uni-kiel.de
Maintainer   Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     A library with a constraint solver over the Booleans
Category     Constraints
Dependencies
    base >= 1.1.0,  < 2.0.0
Compiler compatibility
    pakcs >= 2.2.1,  < 3.0.0
Description
    A library with a Boolean Constraint Solver based on BDDs.
Exported modules
    CLPB
Test suite
    Directory     test
    Check options -v
    Test modules  TestCLPB
Source
    Git https://github.com/curry-packages/clpbool.git@v2.1.0
License
    BSD-3-Clause
License file
    LICENSE