generated from tweag/project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
smtlib-backends-z3.cabal
72 lines (61 loc) · 1.83 KB
/
smtlib-backends-z3.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
name: smtlib-backends-z3
version: 0.3.1
synopsis: An SMT-LIB backend implemented using Z3's C API.
description:
This library implements an SMT-LIB backend (in the sense of the smtlib-backends
package) using inlined calls to Z3's C API. It is thus in particular faster
than the standard backends relying on running solvers as external processes, as
the OS doesn't need to spawn processes and handle pipes between them.
license: MIT
license-file: LICENSE
author: Quentin Aristote
maintainer:
facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io
build-type: Simple
category: SMT
cabal-version: >=1.10
extra-source-files: CHANGELOG.md
source-repository head
type: git
location: https://github.com/tweag/smtlib-backends
subdir: smtlib-backends-z3
source-repository this
type: git
location: https://github.com/tweag/smtlib-backends
tag: 0.3
subdir: smtlib-backends-z3
library
hs-source-dirs: src
c-sources: cbits/z3.c
ghc-options: -Wall -Wunused-packages
exposed-modules: SMTLIB.Backends.Z3
build-depends:
base >=4.14 && <4.20
, bytestring >=0.10.12 && <0.13
, smtlib-backends >=0.3 && <0.4
-- inspired from haskell-z3
if (os(osx) || os(windows))
extra-libraries: z3
else
extra-libraries:
gomp
z3
gomp
default-language: Haskell2010
test-suite test
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: Main.hs
other-modules:
EdgeCases
Examples
ghc-options: -threaded -Wall -Wunused-packages
build-depends:
base
, bytestring
, smtlib-backends
, smtlib-backends-tests
, smtlib-backends-z3
, tasty
, tasty-hunit
default-language: Haskell2010