name: in23

ghc-options: -Wall -threaded

dependencies:
  - base == 4.*
  - attoparsec
  - mtl
  - optparse-applicative
  - text

executables:
  in23:
    main: Main.hs
    dependencies:
      - in23

library:
  source-dirs: src
  exposed-modules:
    - INAST
    - INSolver