cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           satyros
version:        0.3.1.2
synopsis:       Step-by-step SAT solver for educational purposes
description:    Satyros is a step-by-step SAT solver for educational purposes,
                based on free monad and its interpretation.
category:       Language
homepage:       https://github.com/Ailrun/satyros#readme
bug-reports:    https://github.com/Ailrun/satyros/issues
author:         Junyoung/Clare Jang
maintainer:     jjc9310@gmail.com
copyright:      2021 Junyoung/Clare Jang
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/Ailrun/satyros

library
  exposed-modules:
      Satyros.BellmanFord
      Satyros.BellmanFord.Effect
      Satyros.BellmanFord.NegativeCycle
      Satyros.BellmanFord.Propagation
      Satyros.BellmanFord.Storage
      Satyros.CNF
      Satyros.CNF.Clause
      Satyros.CNF.Formula
      Satyros.CNF.Literal
      Satyros.CNF.Positivity
      Satyros.CNF.Variable
      Satyros.DPLL
      Satyros.DPLL.Assignment
      Satyros.DPLL.Backtrace
      Satyros.DPLL.BCP
      Satyros.DPLL.Decision
      Satyros.DPLL.Effect
      Satyros.DPLL.Storage
      Satyros.DPLL.StorageUtil
      Satyros.QFIDL
      Satyros.QFIDL.Conversion
      Satyros.QFIDL.Expressed
      Satyros.QFIDL.Expressible
      Satyros.QFIDL.Variable
      Satyros.Util
  other-modules:
      Paths_satyros
  hs-source-dirs:
      src
  default-extensions:
      BangPatterns BinaryLiterals ConstrainedClassMethods ConstraintKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies EmptyCase EmptyDataDecls EmptyDataDeriving ExistentialQuantification ExplicitForAll FlexibleContexts FlexibleInstances ForeignFunctionInterface GADTSyntax GeneralizedNewtypeDeriving HexFloatLiterals InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns NamedWildCards NumericUnderscores PolyKinds PostfixOperators RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving StarIsType TupleSections TypeApplications TypeFamilies TypeOperators TypeSynonymInstances
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wmissing-home-modules -Wmonomorphism-restriction -Wpartial-fields -Wredundant-constraints -Wunused-packages -Wunused-type-patterns
  build-depends:
      base >=4.12 && <4.15
    , containers
    , extra
    , free
    , lens
    , mtl
    , random
    , vector
  default-language: Haskell2010

test-suite satyros-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      DPLL
      DPLLQFIDL
      Paths_satyros
  hs-source-dirs:
      test
  default-extensions:
      BangPatterns BinaryLiterals ConstrainedClassMethods ConstraintKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies EmptyCase EmptyDataDecls EmptyDataDeriving ExistentialQuantification ExplicitForAll FlexibleContexts FlexibleInstances ForeignFunctionInterface GADTSyntax GeneralizedNewtypeDeriving HexFloatLiterals InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses NamedFieldPuns NamedWildCards NumericUnderscores PolyKinds PostfixOperators RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving StarIsType TupleSections TypeApplications TypeFamilies TypeOperators TypeSynonymInstances
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wmissing-home-modules -Wmonomorphism-restriction -Wpartial-fields -Wredundant-constraints -Wunused-packages -Wunused-type-patterns -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base
    , containers
    , extra
    , free
    , lens
    , mtl
    , random
    , satyros
    , vector
  default-language: Haskell2010