smtlib-tools

 1cabal-version:      3.4
 2name:               smt-simplify
 3version:            0.1.0.0
 4license:            MIT
 5author:             Sören Tempel
 6maintainer:         tempel@ibr.cs.tu-bs.de
 7build-type:         Simple
 8copyright:          (c) 2026 Technische Universität Branuschweig
 9
10common opts
11    ghc-options: -Wall
12
13executable smt-simplify
14    import:           opts
15    main-is:          Main.hs
16    build-depends:    base,
17                      text,
18                      conduit >= 1.3.6 && < 1.4,
19                      simple-smt >= 1.0.1 && <1.1
20    default-language: GHC2021