├── .gitignore ├── .travis.yml ├── LICENSE ├── Language ├── SMTLib2.hs └── SMTLib2 │ ├── Internals │ ├── Backend.hs │ ├── Embed.hs │ ├── Evaluate.hs │ ├── Expression.hs │ ├── Interface.hs │ ├── Monad.hs │ ├── Proof.hs │ ├── Proof │ │ └── Verify.hs │ ├── Type.hs │ └── Type │ │ ├── List.hs │ │ ├── Nat.hs │ │ └── Struct.hs │ └── Strategy.hs ├── README.org ├── backends ├── boolector │ ├── Language │ │ └── SMTLib2 │ │ │ └── Boolector.hs │ └── smtlib2-boolector.cabal ├── debug │ ├── LICENSE │ ├── Language │ │ └── SMTLib2 │ │ │ └── Debug.hs │ └── smtlib2-debug.cabal ├── mathsat │ ├── Language │ │ └── SMTLib2 │ │ │ └── MathSAT.hsc │ ├── helper.c │ ├── helper.h │ └── smtlib2-mathsat.cabal ├── pipe │ ├── LICENSE │ ├── Language │ │ └── SMTLib2 │ │ │ ├── Pipe.hs │ │ │ └── Pipe │ │ │ └── Internals.hs │ ├── smtlib2-pipe.cabal │ └── test │ │ └── PipeTest.hs ├── stp │ ├── Language │ │ └── SMTLib2 │ │ │ └── STP.hsc │ └── smtlib2-stp.cabal ├── timing │ ├── LICENSE │ ├── Language │ │ └── SMTLib2 │ │ │ └── Timing.hs │ └── smtlib2-timing.cabal ├── yices │ ├── Language │ │ └── SMTLib2 │ │ │ └── Yices.hsc │ └── smtlib2-yices.cabal └── z3 │ ├── Language │ └── SMTLib2 │ │ └── Z3.hs │ ├── smtlib2-z3.cabal │ └── test │ └── Z3Test.hs ├── examples ├── Examples.hs └── Z3Tutorial.hs ├── extras ├── composite │ ├── LICENSE │ ├── Language │ │ └── SMTLib2 │ │ │ ├── Composite.hs │ │ │ └── Composite │ │ │ ├── Array.hs │ │ │ ├── Array │ │ │ ├── Bounded.hs │ │ │ ├── Composite.hs │ │ │ └── Static.hs │ │ │ ├── Choice.hs │ │ │ ├── Class.hs │ │ │ ├── Container.hs │ │ │ ├── Convert.hs │ │ │ ├── Convert │ │ │ └── Instances.hs │ │ │ ├── Data.hs │ │ │ ├── Domains.hs │ │ │ ├── Either.hs │ │ │ ├── Expression.hs │ │ │ ├── Lens.hs │ │ │ ├── Linear.hs │ │ │ ├── List.hs │ │ │ ├── Map.hs │ │ │ ├── Maybe.hs │ │ │ ├── Null.hs │ │ │ ├── Pool.hs │ │ │ ├── Ranged.hs │ │ │ ├── Singleton.hs │ │ │ ├── Stack.hs │ │ │ └── Tuple.hs │ └── smtlib2-composite.cabal ├── emulated-datatypes │ ├── Language │ │ └── SMTLib2 │ │ │ └── DatatypeEmulator.hs │ └── smtlib2-emulated-datatypes.cabal ├── emulated-modulus │ ├── Language │ │ └── SMTLib2 │ │ │ └── ModulusEmulator.hs │ └── smtlib2-emulated-modulus.cabal ├── quickcheck │ ├── LICENSE │ ├── Language │ │ └── SMTLib2 │ │ │ └── QuickCheck.hs │ └── smtlib2-quickcheck.cabal ├── th │ ├── Language │ │ └── SMTLib2 │ │ │ └── TH.hs │ └── smtlib2-th.cabal └── views │ ├── Language │ └── SMTLib2 │ │ └── Views.hs │ └── smtlib2-views.cabal ├── install_all.sh ├── smtlib2.cabal └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | *# 3 | .#* 4 | dist/ 5 | .stack-work -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/LICENSE -------------------------------------------------------------------------------- /Language/SMTLib2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Backend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Backend.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Embed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Embed.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Evaluate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Evaluate.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Expression.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Interface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Interface.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Monad.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Proof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Proof.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Proof/Verify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Proof/Verify.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Type.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Type/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Type/List.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Type/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Type/Nat.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Internals/Type/Struct.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Internals/Type/Struct.hs -------------------------------------------------------------------------------- /Language/SMTLib2/Strategy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/Language/SMTLib2/Strategy.hs -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/README.org -------------------------------------------------------------------------------- /backends/boolector/Language/SMTLib2/Boolector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/boolector/Language/SMTLib2/Boolector.hs -------------------------------------------------------------------------------- /backends/boolector/smtlib2-boolector.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/boolector/smtlib2-boolector.cabal -------------------------------------------------------------------------------- /backends/debug/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/debug/LICENSE -------------------------------------------------------------------------------- /backends/debug/Language/SMTLib2/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/debug/Language/SMTLib2/Debug.hs -------------------------------------------------------------------------------- /backends/debug/smtlib2-debug.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/debug/smtlib2-debug.cabal -------------------------------------------------------------------------------- /backends/mathsat/Language/SMTLib2/MathSAT.hsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/mathsat/Language/SMTLib2/MathSAT.hsc -------------------------------------------------------------------------------- /backends/mathsat/helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/mathsat/helper.c -------------------------------------------------------------------------------- /backends/mathsat/helper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/mathsat/helper.h -------------------------------------------------------------------------------- /backends/mathsat/smtlib2-mathsat.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/mathsat/smtlib2-mathsat.cabal -------------------------------------------------------------------------------- /backends/pipe/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/pipe/LICENSE -------------------------------------------------------------------------------- /backends/pipe/Language/SMTLib2/Pipe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/pipe/Language/SMTLib2/Pipe.hs -------------------------------------------------------------------------------- /backends/pipe/Language/SMTLib2/Pipe/Internals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/pipe/Language/SMTLib2/Pipe/Internals.hs -------------------------------------------------------------------------------- /backends/pipe/smtlib2-pipe.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/pipe/smtlib2-pipe.cabal -------------------------------------------------------------------------------- /backends/pipe/test/PipeTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/pipe/test/PipeTest.hs -------------------------------------------------------------------------------- /backends/stp/Language/SMTLib2/STP.hsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/stp/Language/SMTLib2/STP.hsc -------------------------------------------------------------------------------- /backends/stp/smtlib2-stp.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/stp/smtlib2-stp.cabal -------------------------------------------------------------------------------- /backends/timing/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/timing/LICENSE -------------------------------------------------------------------------------- /backends/timing/Language/SMTLib2/Timing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/timing/Language/SMTLib2/Timing.hs -------------------------------------------------------------------------------- /backends/timing/smtlib2-timing.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/timing/smtlib2-timing.cabal -------------------------------------------------------------------------------- /backends/yices/Language/SMTLib2/Yices.hsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/yices/Language/SMTLib2/Yices.hsc -------------------------------------------------------------------------------- /backends/yices/smtlib2-yices.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/yices/smtlib2-yices.cabal -------------------------------------------------------------------------------- /backends/z3/Language/SMTLib2/Z3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/z3/Language/SMTLib2/Z3.hs -------------------------------------------------------------------------------- /backends/z3/smtlib2-z3.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/z3/smtlib2-z3.cabal -------------------------------------------------------------------------------- /backends/z3/test/Z3Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/backends/z3/test/Z3Test.hs -------------------------------------------------------------------------------- /examples/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/examples/Examples.hs -------------------------------------------------------------------------------- /examples/Z3Tutorial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/examples/Z3Tutorial.hs -------------------------------------------------------------------------------- /extras/composite/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/LICENSE -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Array.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Array.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Array/Bounded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Array/Bounded.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Array/Composite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Array/Composite.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Array/Static.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Array/Static.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Choice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Choice.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Class.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Container.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Container.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Convert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Convert.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Convert/Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Convert/Instances.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Data.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Domains.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Domains.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Either.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Either.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Expression.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Lens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Lens.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Linear.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Linear.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/List.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Map.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Maybe.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Null.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Null.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Pool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Pool.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Ranged.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Ranged.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Singleton.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Singleton.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Stack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Stack.hs -------------------------------------------------------------------------------- /extras/composite/Language/SMTLib2/Composite/Tuple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/Language/SMTLib2/Composite/Tuple.hs -------------------------------------------------------------------------------- /extras/composite/smtlib2-composite.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/composite/smtlib2-composite.cabal -------------------------------------------------------------------------------- /extras/emulated-datatypes/Language/SMTLib2/DatatypeEmulator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/emulated-datatypes/Language/SMTLib2/DatatypeEmulator.hs -------------------------------------------------------------------------------- /extras/emulated-datatypes/smtlib2-emulated-datatypes.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/emulated-datatypes/smtlib2-emulated-datatypes.cabal -------------------------------------------------------------------------------- /extras/emulated-modulus/Language/SMTLib2/ModulusEmulator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/emulated-modulus/Language/SMTLib2/ModulusEmulator.hs -------------------------------------------------------------------------------- /extras/emulated-modulus/smtlib2-emulated-modulus.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/emulated-modulus/smtlib2-emulated-modulus.cabal -------------------------------------------------------------------------------- /extras/quickcheck/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/quickcheck/LICENSE -------------------------------------------------------------------------------- /extras/quickcheck/Language/SMTLib2/QuickCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/quickcheck/Language/SMTLib2/QuickCheck.hs -------------------------------------------------------------------------------- /extras/quickcheck/smtlib2-quickcheck.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/quickcheck/smtlib2-quickcheck.cabal -------------------------------------------------------------------------------- /extras/th/Language/SMTLib2/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/th/Language/SMTLib2/TH.hs -------------------------------------------------------------------------------- /extras/th/smtlib2-th.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/th/smtlib2-th.cabal -------------------------------------------------------------------------------- /extras/views/Language/SMTLib2/Views.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/views/Language/SMTLib2/Views.hs -------------------------------------------------------------------------------- /extras/views/smtlib2-views.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/extras/views/smtlib2-views.cabal -------------------------------------------------------------------------------- /install_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/install_all.sh -------------------------------------------------------------------------------- /smtlib2.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/smtlib2.cabal -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hgoes/smtlib2/HEAD/stack.yaml --------------------------------------------------------------------------------