brc-solver.cabal

name:           brc-solver
version:        0.0.1
cabal-version:  >= 1.2 && < 2
author:         Kevin Charter
synopsis:       A constraint solver for constraints involving binary
                relations on a domain.
build-type:     Simple
license:        BSD3
license-file:   LICENSE

library
  exposed-modules: BRC.BinRel,
                   BRC.Constraint,
                   BRC.FiniteSet,
                   BRC.SetOf,
                   BRC.Size,
                   BRC.Solver,
                   BRC.Solver.Assignments,
                   BRC.Solver.Error,
                   BRC.Solver.Influence,
                   BRC.Solver.Monad,
                   BRC.Solver.Options,
                   BRC.Solver.State,
                   BRC.Solver.Util,
                   BRC.Solver.VariablesIn,
                   BRC.Solver.ZeroOneTwo
  build-depends:   base >= 4 && < 5,
                   containers >= 0.3 && < 1,
                   fgl >= 5.4.2.3 && < 6,
                   mtl >= 1.1.1.0 && < 2
  ghc-options:     -fwarn-incomplete-patterns
                   -fwarn-unused-imports
                   -- -prof -auto-all -caf-all
                   -funbox-strict-fields
                   -O2