name: igor2
version: 0.7.1.3
cabal-version: >=1.2
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: (c) 2009 by Martin Hofmann
maintainer: martin.hofmann@uni-bamberg.de
stability: Experimental
homepage: http://www.cogsys.wiai.uni-bamberg.de/effalip/download.html
synopsis: Igor2 is an analytical inductive programming system which generalises programs from I/O examples
description: Igor2 is an analytical inductive program synthesis system, which addresses the problem of constructing recursive programs from incomplete specifications, typically input/output examples. In contrast to approaches of inductive logic programming and evolutionary computation, which are mainly search-based, analytical approaches have the advantage that synthesis effort is considerably lower. Igor2's approach guarantees that the induced programs are a minimal generalization over examples and terminate.
category: Inductive Programming
author: Martin Hofmann
tested-with: GHC ==7.4.2
data-files: README expl/Examples.hs expl/batch.txt
 
executable igor2
  main-is: Main.hs
  hs-source-dirs: src
  ghc-options: -O4
  build-depends: utf8-string >=0.3, time >=1.1, template-haskell -any,
    syb -any, pretty -any, parsec >=2.1, mtl >=1.0, hint >=0.3.2,
    haskell-src-exts >=1.3.2, ghc >=6.10, filepath -any, fgl >=5.4,
    haskeline -any, directory >=1.0, containers >=0.2, bimap >=0.2,
    base >=4.0, ansi-wl-pprint >=0.5, ansi-terminal >=0.5.0,
    pointless-haskell -any, exceptions

test-suite igor2-test
  type: exitcode-stdio-1.0
  hs-source-dirs: src
  main-is: Tests.hs
  build-depends:
    test-framework,
    test-framework-quickcheck2,
    QuickCheck
