name:          CarneadesIntoDung
category:      Argumentation, Embedded, AI
version:       1.0
license:       BSD3
cabal-version: >= 1.6
license-file:  LICENSE
author:        Bas van Gijzel, Henrik Nilsson
maintainer:    Bas van Gijzel <bmv@cs.nott.ac.uk>
stability:     experimental
homepage:      http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/
copyright:     Copyright (C) 2014 Bas van Gijzel
synopsis:      A translation from the Carneades argumentation model into Dung's AFs.
description:   A translation from the Carneades argumentation model 
               (<http://hackage.haskell.org/package/CarneadesDSL>) into Dung's 
               argumentation frameworks (<http://hackage.haskell.org/package/Dung>). 
               This package provides a translation function and correspondence
               properties. 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/CarneadesIntoDung/>.
build-type:    Simple

Extra-Source-Files:
                           CHANGELOG
                           examplecaes.txt

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6,
    fgl                    >= 5.4.2.4,
    cmdargs                >= 0.10.2,
    CarneadesDSL           >= 1.3,
    Dung                   >= 1.0.0.1
    
  hs-source-dirs:
    src

  exposed-modules:
    Language.CarneadesIntoDung.Translation
    Language.CarneadesIntoDung.Examples

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

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