Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design

On Mon, 12 Nov 2007, Jeremy Carroll wrote:
>
> Carsten:
> [[
> I believe it is not true that there are no reasoners supporting n-ary
> datatypes.  For example, RACER does. And it works rather well.
> ]]
>
> Interesting - please provide pointers ...

http://www.racer-systems.com/products/racerpro/index.phtml

--
*      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden       *
*     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de     *

Received on Monday, 12 November 2007 21:59:24 UTC