name:          Dung
category:      Argumentation, Embedded, AI
version:       1.0
license:       BSD3
cabal-version: >= 1.6
license-file:  LICENSE
author:        Bas van Gijzel
maintainer:    Bas van Gijzel <bmv@cs.nott.ac.uk>
stability:     experimental
homepage:      http://www.cs.nott.ac.uk/~bmv/Dung/
copyright:     Copyright (C) 2014 Bas van Gijzel
synopsis:      An implementation of the Dung argumentation frameworks.
description:   An implementation of Dung's argumentation frameworks, an abstract argumentation model used to either directly represent conflicting information, or used as
               a translation target for more complex (structured) argumentation models. For an introduction to Dung's frameworks see 
               <http://en.wikipedia.org/wiki/Argumentation_framework> and Dung's paper from 1995: \"On the acceptability of arguments and its fundamental role
               in nonmonotonic reasoning, logic programming, and n-person games\", Artificial Intelligence 77: 321-357.
               For the papers accompanying this library see \"Towards a framework for the implementation and verification of translations between argumentation
               models\" and \"A principled approach to the implementation of argumentation models\", available at <http://www.cs.nott.ac.uk/~bmv/Dung/>.

build-type:    Simple

Extra-Source-Files:
                           CHANGELOG

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6,
    cmdargs                >= 0.10.2,
    parsec                 >= 3

  hs-source-dirs:
    src

  exposed-modules:
    Language.Dung.AF
    Language.Dung.Examples
    Language.Dung.Output
    Language.Dung.Input

Executable dungell
  main-Is:                 Main.hs
  hs-source-dirs:          src

source-repository head
  Type:     git
  Location: https://github.com/nebasuke/Dung