Re: [xml-dev] Decidability

Paul Prescod wrote:
> ... Which is to say that it IS likely
> possible to put a constraint of the form "height*width*depth=area".

Just realized in the shower that that isn't a linear equation. I'm not 
convinced that means that there is no equation solver that can handle 
it, but you can't use a standard linear equation solver.

  Paul Prescod