smtlib-tools

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