name: picologic version: 0.2.0 synopsis: Utilities for symbolic predicate logic expressions homepage: https://github.com/sdiehl/picologic license: MIT license-file: LICENSE author: Stephen Diehl maintainer: stephen.m.diehl@gmail.com copyright: 2014 Stephen Diehl category: Logic build-type: Simple cabal-version: >=1.10 tested-with: GHC == 7.6.3 Bug-Reports: https://github.com/sdiehl/picologic/issues description: `picologic` provides symbolic logic expressions that can be integrated with the `picosat` solver. Source-Repository head type: git location: git@github.com:sdiehl/picologic.git Flag shell description: Build the interactive shell default: False library exposed-modules: Picologic, Picologic.Solver, Picologic.AST, Picologic.Parser, Picologic.Pretty, Picologic.Tseitin other-modules: Picologic.Lexer hs-source-dirs: src other-extensions: DeriveDataTypeable, BangPatterns build-depends: base >= 4.6 && <4.10, picosat >= 0.1 && <0.2, containers >= 0.5 && <0.6, mtl >= 2.1 && <2.4, pretty >= 1.1 && <1.2, parsec >= 3.1 && <3.2 default-language: Haskell2010 executable picologic main-is: Picologic/Main.hs if flag(shell) hs-source-dirs: src other-modules: Picologic.Repl other-extensions: DeriveDataTypeable, BangPatterns build-depends: base >= 2 && <5, picosat >= 0.1 && <0.2, containers >= 0.5 && <0.6, mtl >= 2.1 && <2.4, pretty >= 1.1 && <1.2, parsec >= 3.1 && <3.2, process >= 1.1 && <1.2, haskeline >= 0.7 && <0.8 default-language: Haskell2010 else buildable: False --Todo: how to fail 'cabal test' on a QuickCheck error? Test-Suite picologic-quickcheck type: exitcode-stdio-1.0 main-is: tests.hs hs-source-dirs: tests build-depends: base >= 2 && <5, QuickCheck, containers, picosat, mtl, pretty, picologic Test-Suite pretty-print-test type: exitcode-stdio-1.0 main-is: PrettyPrintTest.hs hs-source-dirs: tests build-depends: base >= 2 && <5, picologic