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

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 ...

Jeremy

Received on Monday, 12 November 2007 21:56:23 UTC