atpl25-SATsolver/satq.cabal at main · zonghao426/atpl25-SATsolver · GitHub

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
cabal-version:      3.4
name:               satq
version:            0.1.0.0
homepage:           https://github.com/sunsky426/atpl25-SATsolver
license:            BSD-3-Clause
author:             Barbella, Kanne, Schmidt, Zou
maintainer:         -
build-type:         Simple

common warnings
    ghc-options: -Wall -Wno-orphans -Wno-unused-imports

common common-options
    default-language: GHC2021
    default-extensions:
        NoMonomorphismRestriction,
        FlexibleContexts,
        FlexibleInstances,
        TypeFamilies,
        TypeSynonymInstances,
        BinaryLiterals,
        PatternSynonyms,
        ViewPatterns,
        LambdaCase,
        AllowAmbiguousTypes,
        TypeApplications,
        ScopedTypeVariables,
        GeneralizedNewtypeDeriving,
        DataKinds,
        UndecidableInstances

library
    import:           warnings
    exposed-modules:  GenEval,
                      SpecEval,
                      GenEval_Tests,
                      Grover_Tests,
                      SpecEval_PropTests
    other-modules:    GenEval.ANF,
                      GenEval.Grovers,
                      GenEval.Parser,
                      GenEval.AST,
                      GenEval.Eval,
                      GenEval.Gates,
                      GenEval.Generator,
                      GenEval.LinAlg,
                      GenEval.StateVector,
                      GenEval.Validation,
                      SpecEval.ANF,
                      SpecEval.AST,
                      SpecEval.Eval,
                      SpecEval.Gates,
                      SpecEval.Parser,
                      SpecEval.Measure,
                      SpecEval.Verif,
                      SpecEval.Grovers
    build-depends:    base ^>=4.18.2.1,
                      mtl,
                      random,
                      hmatrix,
                      vector,
                      containers,
                      tasty,
                      tasty-hunit,
                      QuickCheck,
                      tasty-quickcheck
    hs-source-dirs:   exe,
                      src,
                      tests,
                      src/GenEval,
                      src/SpecEval
    default-language: GHC2021

executable SATQ
    import:           warnings
    main-is:          SAT.hs
    build-depends:    base ^>=4.18.2.1,
                      mtl,
                      satq,
                      random,
                      hmatrix,
                      vector,
                      containers,
                      tasty,
                      tasty-hunit

    hs-source-dirs:   exe,

    default-language: GHC2021

executable grover
    import:           warnings
    main-is:          grover.hs
    build-depends:    base ^>=4.18.2.1,
                      mtl,
                      satq,
                      random,
                      hmatrix,
                      vector,
                      criterion,
                      containers,
                      QuickCheck
    hs-source-dirs:   exe
    default-language: GHC2021

test-suite tests
    type: exitcode-stdio-1.0
    main-is: runtests.hs
    build-depends:
        base
      , tasty
      , satq
      , tasty-quickcheck
      , QuickCheck