/
g4ip.cabal
40 lines (24 loc) · 854 Bytes
/
g4ip.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
name: g4ip
version: 0.1.0.0
category: Logic
synopsis: A theorem prover for propositional logic that uses G4ip
homepage: https://github.com/cacay/G4ip
license: MIT
license-file: LICENSE
author: Josh Acay
maintainer: coskuacay@gmail.com
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
library
default-language: Haskell98
exposed-modules: G4ip.Decider
G4ip.Proposition
build-depends: base >= 4.6 && < 4.7
test-suite test-g4ip
default-language: Haskell98
type: exitcode-stdio-1.0
main-is: G4ip/TestMain.hs
build-depends: base >= 4.6 && < 4.7,
g4ip
other-modules: G4ip.Tester