sat/sat.cabal at main · bmrips/sat · 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
cabal-version: 3.4
name: sat
version: 0.1.0.0
synopsis: A SAT solver using the DPLL algorithm.
description:
  This is an application for SAT solving, using the DPLL algorithm.  It may
  yield the intermediate steps performed during algorithm execution and a
  solution to formula if satisifiable.  Additionally, output for LaTeX may be
  generated.

license: GPL-3.0-or-later
license-file: LICENSE
author: Benedikt Rips
maintainer: benedikt.rips@gmail.com
copyright: (c) 2022 Benedikt Rips
category: Math
build-type: Simple
homepage: https://github.com/bmrips/sat
bug-reports: https://github.com/bmrips/sat/issues
extra-doc-files: CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/bmrips/sat.git

flag nix
  description: Whether dependencies are managed by Nix.
  default: False
  manual: True

common warnings
  ghc-options:
    -Wall
    -Werror
    -Wmissing-export-lists
    -Wprepositive-qualified-module
    -Wredundant-constraints

executable sat
  import: warnings
  main-is: Main.hs
  hs-source-dirs: app
  default-language: GHC2021
  build-depends:
    base,
    containers,
    megaparsec,
    mtl,
    optparse-applicative,

  -- cabal-gild: discover app/ --exclude=app/Main.hs
  other-modules:
    CNF
    DPLL
    Options
    Parser
    Printer.Latex
    Printer.Util