cabal-version: 1.12 name: ecta version: 1.0.0.0 x-revision: 1 license: BSD3 license-file: LICENSE copyright: 2021 Jimmy Koppel maintainer: darmanithird@gmail.com author: Jimmy Koppel homepage: https://github.com/jkoppel/ecta#readme bug-reports: https://github.com/jkoppel/ecta/issues description: Please see the README on GitHub at build-type: Simple extra-source-files: README.md ChangeLog.md source-repository head type: git location: https://github.com/jkoppel/ecta flag profile-caches default: False manual: True library exposed-modules: Application.SAT Application.TermSearch.Dataset Application.TermSearch.Evaluation Application.TermSearch.TermSearch Application.TermSearch.Type Application.TermSearch.Utils Data.ECTA Data.ECTA.Internal.ECTA.Enumeration Data.ECTA.Internal.ECTA.Operations Data.ECTA.Internal.ECTA.Type Data.ECTA.Internal.ECTA.Visualization Data.ECTA.Internal.Paths Data.ECTA.Internal.Paths.Zipper Data.ECTA.Internal.Term Data.ECTA.Paths Data.ECTA.Term Data.HashTable.Extended Data.Interned.Extended.HashTableBased Data.Interned.Extended.SingleThreaded Data.Memoization Data.Memoization.Metrics Data.Persistent.UnionFind Data.Text.Extended.Pretty Utility.Fixpoint Utility.HashJoin hs-source-dirs: src other-modules: Paths_ecta default-language: Haskell2010 default-extensions: BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveGeneric EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns ghc-options: -Wall build-depends: array >=0.5.4.0 && <0.6, base >=4.4 && <4.15, cmdargs >=0.10.21 && <0.11, containers >=0.6.5.1 && <0.7, equivalence >=0.3.5 && <0.4, extra >=1.7.9 && <1.8, fgl >=5.7.0.3 && <5.8, hashable >=1.3.0.0 && <1.4, hashtables >=1.2.4.2 && <1.3, ilist >=0.4.0.1 && <0.5, intern >=0.9.4 && <0.10, language-dot >=0.1.1 && <0.2, lens >=4.19.2 && <4.20, mtl >=2.2.2 && <2.3, pipes >=4.3.16 && <4.4, pretty-simple >=4.0.0.0 && <4.1, raw-strings-qq ==1.1.*, text >=1.2.4.1 && <1.3, time >=1.9.3 && <1.10, unordered-containers >=0.2.16.0 && <0.3, vector >=0.12.3.1 && <0.13, vector-instances ==3.4.* if flag(profile-caches) cpp-options: -DPROFILE_CACHES executable hectare main-is: Main.hs hs-source-dirs: app other-modules: Paths_ecta default-language: Haskell2010 default-extensions: BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveGeneric EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall build-depends: base >=4.4 && <4.15, cmdargs >=0.10.21 && <0.11, containers >=0.6.5.1 && <0.7, ecta -any, hashable >=1.3.0.0 && <1.4, language-dot >=0.1.1 && <0.2, mtl >=2.2.2 && <2.3, pipes >=4.3.16 && <4.4, pretty-simple >=4.0.0.0 && <4.1, text >=1.2.4.1 && <1.3, time >=1.9.3 && <1.10, unordered-containers >=0.2.16.0 && <0.3, vector >=0.12.3.1 && <0.13 if flag(profile-caches) cpp-options: -DPROFILE_CACHES test-suite unit-tests type: exitcode-stdio-1.0 main-is: Spec.hs build-tool-depends: hspec-discover:hspec-discover -any hs-source-dirs: test other-modules: CacheProfilingSpec Data.Persistent.UnionFindSpec ECTASpec PathsSpec SATSpec Test.Generators.ECTA Utility.HashJoinSpec Paths_ecta default-language: Haskell2010 default-extensions: BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveGeneric EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -Wno-orphans build-depends: QuickCheck >=2.14.2 && <2.15, base >=4.4 && <4.15, cmdargs >=0.10.21 && <0.11, containers >=0.6.5.1 && <0.7, ecta -any, equivalence >=0.3.5 && <0.4, hashable >=1.3.0.0 && <1.4, hspec >=2.7.10 && <2.8, language-dot >=0.1.1 && <0.2, mtl >=2.2.2 && <2.3, pipes >=4.3.16 && <4.4, pretty-simple >=4.0.0.0 && <4.1, text >=1.2.4.1 && <1.3, time >=1.9.3 && <1.10, unordered-containers >=0.2.16.0 && <0.3, vector >=0.12.3.1 && <0.13 if flag(profile-caches) cpp-options: -DPROFILE_CACHES benchmark mainbench type: exitcode-stdio-1.0 main-is: Benchmarks.hs hs-source-dirs: benchmarks other-modules: TestData Paths_ecta default-language: Haskell2010 default-extensions: BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveGeneric EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns PatternGuards PatternSynonyms RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 build-depends: base >=4.4 && <4.15, cmdargs >=0.10.21 && <0.11, containers >=0.6.5.1 && <0.7, criterion >=1.5.13.0 && <1.6, ecta -any, hashable >=1.3.0.0 && <1.4, language-dot >=0.1.1 && <0.2, mtl >=2.2.2 && <2.3, pipes >=4.3.16 && <4.4, pretty-simple >=4.0.0.0 && <4.1, text >=1.2.4.1 && <1.3, time >=1.9.3 && <1.10, unordered-containers >=0.2.16.0 && <0.3, vector >=0.12.3.1 && <0.13 if flag(profile-caches) cpp-options: -DPROFILE_CACHES