agum-2.5: agum.cabal

Name:			agum
Version:		2.5
Maintainer:		ramsdell@mitre.org
Cabal-Version:		>= 1.6
License:		GPL
License-File:		license.txt
Synopsis:		Unification and Matching in an Abelian Group
Description:            The unification problem is given the problem
			statement t =? t\', find a most general
			substitution s such that s(t) = s(t\') modulo
			the axioms of an Abelian group.  The matching
			problem is to find a most general substitution
			s such that s(t) = t\' modulo the axioms.
			Substitition s is more general than s\' if
			there is a substitition s\" such that s\' =
			s\" o s.
Category:		Algebra
Build-Type:		Simple
Extra-Source-Files:	readme.txt ChangeLog Makefile

Library
  Build-Depends:	base >= 3 && < 5, containers >= 0.3
  Exposed-Modules:	Algebra.AbelianGroup.UnificationMatching
                        Algebra.AbelianGroup.IntLinEq
  Hs-Source-Dirs:	src
  GHC-Options:
    -Wall -fno-warn-name-shadowing -fwarn-unused-imports

Executable agum
  Main-Is:		Algebra/AbelianGroup/Main.hs
  Build-Depends:	base >= 3 && < 5, containers >= 0.3
  Other-Modules:	Algebra.AbelianGroup.UnificationMatching
                        Algebra.AbelianGroup.IntLinEq
  Hs-Source-Dirs:	src
  GHC-Options:
    -Wall -fno-warn-name-shadowing -fwarn-unused-imports

Source-Repository head
  Type:			git
  Location:		git://github.com/ramsdell/agum.git