clpbool-2.0.0
-------------
Version      2.0.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
Compiler compatibility
    pakcs >= 2.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://git.ps.informatik.uni-kiel.de/curry-packages/clpbool.git@v2.0.0
License
    BSD-3-Clause
License file
    LICENSE