<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>Le 12 juil. 08 à 04:02, John D. Ramsdell a écrit :</div><br><blockquote type="cite"><div><blockquote type="cite">CIMe[1] might be useful to solve the generated diophantine equations.<br></blockquote><br>It also has AC unification, and it probably wouldn't be all that hard<br>to translate our code into OCaml. &nbsp;I think CiME isn't supported<br>anymore. &nbsp;Still it's worth considering. &nbsp;It's quite large. &nbsp;The source<br>distribution compiled effortlessly on Ubuntu. &nbsp;That's about all I know<br>now.</div></blockquote><br></div><div><span class="Apple-style-span" style="font-family: -webkit-monospace; ">CIMe 2 is not maintained anymore, but a third version is in the works, see:<br><a href="http://www3.iie.cnam.fr/~urbain/a3pat/a3pat_intro.en.html">http://www3.iie.cnam.fr/~urbain/a3pat/a3pat_intro.en.html</a><br><br>--&nbsp;Matthieu</span></div></body></html>