-
Notifications
You must be signed in to change notification settings - Fork 2
/
boolector.cabal
129 lines (113 loc) · 3.46 KB
/
boolector.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
name: boolector
version: 0.0.0.13
synopsis: Haskell bindings for the Boolector SMT solver
description:
This library provides a high-level, monadic DSL for writing symbolic
computations atop the Boolector SMT solver (<https://github.com/Boolector/boolector>).
.
The API and its description is defined in the "Boolector" module.
.
Several examples can be found at: <https://github.com/PLSysSec/haskell-boolector/tree/master/test>
license: MIT
license-file: LICENSE
author: Deian Stefan, Johannes Waldmann, Armin Biere
maintainer: Deian Stefan <deian@cs.ucsd.edu>
category: Math, SMT, Theorem Provers, Formal Methods, Bit vectors
build-type: Simple
cabal-version: >= 1.10
homepage: https://github.com/plsyssec/haskell-boolector
bug-reports: https://github.com/plsyssec/haskell-boolector/issues
source-repository head
type: git
location: https://github.com/PLSysSec/haskell-boolector.git
library
hs-source-dirs: src
default-language: Haskell2010
exposed-modules:
Boolector
Boolector.Foreign
build-depends:
base >= 4.7 && < 5,
containers,
mtl,
temporary,
directory,
time
if impl(ghc < 8.0)
build-depends: fail == 4.9.0.0
ghc-options: -Wall -fno-warn-orphans
build-tools: c2hs
extra-libraries: boolector
includes: boolector.h
Test-Suite API_Usage_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: API_Usage_Example.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite Array_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: Array_Example.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite UF_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: UF_Example.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite Arith_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: Arith_Example.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite Arith_Example2
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: Arith_Example2.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite Arith_Example3
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: Arith_Example3.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite GetSetSymbol_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: GetSetSymbol_Example.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite UF_Example2
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: UF_Example2.hs
extra-libraries: boolector
hs-source-dirs: test
Test-Suite Const_Example
default-language: Haskell2010
Build-Depends: base >= 4.7 && < 5
, boolector
Type: exitcode-stdio-1.0
main-is: Const_Example.hs
extra-libraries: boolector
hs-source-dirs: test