-
Notifications
You must be signed in to change notification settings - Fork 0
/
SAT-DPLL.cabal
140 lines (133 loc) · 2.36 KB
/
SAT-DPLL.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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
-- This file has been generated from package.yaml by hpack version 0.20.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 77ff9d0c5efee6f2177bf86aec8da1b020b8237142364ada935694d6b9f05c7d
name: SAT-DPLL
version: 0.1.0.0
category: Tool
homepage: https://github.com/githubuser/SAT-Pol#readme
author: Daniel R. Chavarria
maintainer: drodriguez15@us.es
copyright: Daniel R. Chavarria
license: BSD3
license-file: LICENSE
build-type: Simple
cabal-version: >= 1.10
extra-source-files:
README.org
library
hs-source-dirs:
src
build-depends:
QuickCheck
, base
, containers
, criterion
, doctest
, hatt
, hspec
, parsec
exposed-modules:
Logic
Heuristics
Preprocessing
DPP
DPLL
other-modules:
Paths_SAT_DPLL
default-language: Haskell2010
executable satCNF
main-is: Main.hs
hs-source-dirs:
app
src
exDIMACS
build-depends:
QuickCheck
, base
, containers
, criterion
, doctest
, hatt
, hspec
, parsec
other-modules:
DPLL
DPP
Heuristics
Logic
Preprocessing
Paths_SAT_DPLL
default-language: Haskell2010
test-suite doctests
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs:
test-doc
src
ghc-options: -threaded
build-depends:
QuickCheck
, base
, containers
, criterion
, doctest
, doctest-discover
, hatt
, hspec
, parsec
other-modules:
DPLL
DPP
Heuristics
Logic
Preprocessing
Paths_SAT_DPLL
default-language: Haskell2010
test-suite spec
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs:
test-spec
src
build-depends:
QuickCheck
, base
, containers
, criterion
, doctest
, hatt
, hspec
, parsec
other-modules:
DPLL
DPP
Heuristics
Logic
Preprocessing
Paths_SAT_DPLL
default-language: Haskell2010
benchmark bench-innit
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs:
src
bench
build-depends:
QuickCheck
, base
, containers
, criterion
, doctest
, hatt
, hspec
, parsec
other-modules:
DPLL
DPP
Heuristics
Logic
Preprocessing
Paths_SAT_DPLL
default-language: Haskell2010