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

name:           mios
version:        1.6.0
synopsis:       A Minisat-based CDCL SAT solver in Haskell
description:    A modern and very fast SAT solver written in Haskell, using CDCL, watch literals, VSIDS, blocking-literals, phase saving, LBD, Glucose-like restart and so on. 'Mios' is an abbreviation of 'Minisat-based Implementation and Optimization Study on SAT solver'.
category:       Artificial Intelligence, Constraints
homepage:       https://github.com/shnarazk/mios
bug-reports:    https://github.com/shnarazk/mios/issues
author:         Shuji Narazaki
maintainer:     narazaki@nagasaki-u.ac.jp
copyright:      2017 Shuji Narazaki
license:        GPL-3
license-file:   LICENSE
build-type:     Simple
cabal-version:  >= 1.10

extra-source-files:
    app/sample.hs

source-repository head
  type: git
  location: https://github.com/shnarazk/mios

flag llvm
  description: Compile with llvm
  manual: True
  default: False

flag utils
  description: Build misc utilities for developer
  manual: True
  default: False

library
  hs-source-dirs:
      src
  default-extensions: Strict
  build-depends:
      base >=4.7 && <5
    , bytestring >=0.10
    , ghc-prim >=0.5
    , primitive >=0.6
    , vector >=0.12
  if flag(llvm)
    ghc-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -optlc-O3 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -fprof-auto
  else
    ghc-options: -O2 -funbox-strict-fields -msse2 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fprof-auto
  exposed-modules:
      SAT.Mios
      SAT.Mios.Clause
      SAT.Mios.ClauseManager
      SAT.Mios.ClausePool
      SAT.Mios.Criteria
      SAT.Mios.Main
      SAT.Mios.OptionParser
      SAT.Mios.Solver
      SAT.Mios.Types
      SAT.Mios.Util.BoolExp
      SAT.Mios.Util.DIMACS
      SAT.Mios.Util.DIMACS.MinisatReader
      SAT.Mios.Util.DIMACS.Reader
      SAT.Mios.Util.DIMACS.Writer
      SAT.Mios.Validator
      SAT.Mios.Vec
  other-modules:
      Paths_mios
  default-language: Haskell2010

executable cnf-stat
  main-is: cnf-stat.hs
  hs-source-dirs:
      utils
  default-extensions: Strict
  build-depends:
      base >=4.7 && <5
    , bytestring >=0.10
    , ghc-prim >=0.5
    , mios
    , primitive >=0.6
    , vector >=0.12
  if flag(llvm)
    ghc-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -optlc-O3 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -fprof-auto
  else
    ghc-options: -O2 -funbox-strict-fields -msse2 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fprof-auto
  if flag(utils)
    buildable: True
  else
    buildable: False
  other-modules:
      Paths_mios
  default-language: Haskell2010

executable mios-1.6.0
  main-is: mios.hs
  hs-source-dirs:
      app
  default-extensions: Strict
  build-depends:
      base >=4.7 && <5
    , bytestring >=0.10
    , ghc-prim >=0.5
    , mios
    , primitive >=0.6
    , vector >=0.12
  if flag(llvm)
    ghc-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -optlc-O3 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -fprof-auto
  else
    ghc-options: -O2 -funbox-strict-fields -msse2 -fwarn-missing-signatures
    ghc-prof-options: -O2 -funbox-strict-fields -fprof-auto
  if flag(llvm)
    ghc-prof-options: -O2 -funbox-strict-fields -fllvm -optlo-O3 -fprof-auto -rtsopts
  else
    ghc-prof-options: -O2 -funbox-strict-fields -fprof-auto -rtsopts
  other-modules:
      Paths_mios
  default-language: Haskell2010