[SMT-LIB] Unary operator ~

[Daniela da Cruz]

Hello all.

I've a problem with the unary operator ~ (from that I've read I think it
corresponds to the minus unary operator).
When I try to use this operator, it gives me an error: ERROR: could not
locate id ~b at 23:10.
It seems that when using that operator, it does not recognize what
follows...
I already tried also to use with parenthesis but I obtain another error:
ERROR: No arguments supplied to arithmetical operator

Can anyone help me?
I send the file that I'm trying in attachment.

Thanks
regards
daniela
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MinMax.smt
Type: application/octet-stream
Size: 917 bytes
Desc: not available
Url : /pipermail/smt-lib/attachments/20090808/a139b324/MinMax.obj