Hello,
The SMTLib 2.0 said that in Int theories we can use div when we can use division. But I try it in OpenSMT like this:
(set-logic QF_IDL)
opensmt does not support the div operator, as well as other constructs
defined inside the SMT-LIB. It only supports the logics QF_IDL/RDL,
QF_UF, QF_LRA and some combinations.
Cheers,
R
> --
> You received this message because you are subscribed to the Google Groups
> "opensmt" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/opensmt/-/ZZRwkmBRtNQJ.
>
> To post to this group, send email to ope...@googlegroups.com.
> To unsubscribe from this group, send email to
> opensmt+u...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/opensmt?hl=en.
--
Roberto Bruttomesso, PhD - http://tinyurl.com/r0b3r70
Dear Roberto,
Thank you for the answer. So, it's have another way to do division between two integer?
Cheers,
Luis Renato
> For more options, visit this group at
> http://groups.google.com/group/opensmt?hl=en.