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.10
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
|