[Haskell-cafe] Associative Commutative Unification
mattam at mattam.org
Wed Aug 27 17:29:36 EDT 2008
Le 12 juil. 08 à 04:02, John D. Ramsdell a écrit :
>> CIMe 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
CIMe 2 is not maintained anymore, but a third version is in the works,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe