[Haskell-cafe] Associative Commutative Unification

[Matthieu Sozeau]

Le 12 juil. 08 à 04:02, John D. Ramsdell a écrit :

>> CIMe[1] might be useful to solve the generated diophantine equations.
>
> It also has AC unification, and it probably wouldn't be all that hard
> to translate our code into OCaml.  I think CiME isn't supported
> anymore.  Still it's worth considering.  It's quite large.  The source
> distribution compiled effortlessly on Ubuntu.  That's about all I know
> now.

CIMe 2 is not maintained anymore, but a third version is in the works,  
see:
http://www3.iie.cnam.fr/~urbain/a3pat/a3pat_intro.en.html

-- Matthieu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080827/6baf67a2/attachment.htm