@hackage / picologic

Utilities for symbolic predicate logic expressions

Latest0.3.0

Dependencies

library:picologic (6 dependencies)

@hackage / picosat Bindings to the PicoSAT solver
- Version: >=0.1 && <0.2
- License: MIT
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.4
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.6 && <4.10
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause

executable:picologic (8 dependencies)

test:picologic-quickcheck (7 dependencies)

test:pretty-print-test (2 dependencies)