name:          CarneadesDSL
category:      Argumentation, Embedded, AI
version:       1.2
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/CarneadesDSL/
copyright:     Copyright (C) 2013 Bas van Gijzel
synopsis:      An implementation and DSL for the Carneades argumentation model.
description:   An implementation and domain specific language for the Carneades
               argumentation model. See Haskell Gets Argumentative in the 
               Proceedings of Symposium on Trends in Functional Programming 
               (TFP 2012) by Bas van Gijzel and Henrik Nilsson or the 
               package's homepage. Thanks to Stefan Sabev for providing initial
               code for the cyclicity check. 
build-type:    Simple

Extra-Source-Files:
                           CHANGELOG

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6,
    fgl                    >= 5.4.2.4  && < 5.5
    

  exposed-modules:
    Language.Carneades.CarneadesDSL
    Language.Carneades.ExampleCAES
    Language.Carneades.Cyclic
    

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