Name:           smtlib2-timing
Version:        1.0
Author:         Henning Günther <guenther@forsyte.at>
Maintainer:     guenther@forsyte.at
Synopsis:       Get timing informations for SMT queries
Stability:      provisional
Category:       SMT, Formal Methods, Theorem Provers, Symbolic Computation
License:        GPL-3
License-File:   LICENSE
Build-Type:     Simple
Cabal-Version:  >=1.6

Source-Repository head
  Type:         git
  Location:     https://github.com/hguenther/smtlib2.git
                
Library
  Build-Depends:        base >= 4 && < 5,smtlib2 >= 1.0 && < 1.1, time, mtl, dependent-sum
  Extensions:		FlexibleInstances,MultiParamTypeClasses,FlexibleContexts,
                        TypeFamilies,GADTs,DeriveDataTypeable,StandaloneDeriving,
                        GeneralizedNewtypeDeriving,DataKinds
  GHC-Options: -fwarn-unused-imports
  Exposed-Modules:
    Language.SMTLib2.Timing