Transform STP queries into linear equation

[varza victor]

Hi,

I'm new in STP and I have some STP queries that I want to transform it into linear equations. Can I do this with STP, or I have to build my own parser for stp queries?

Thanks,
Victor

[Vijay Ganesh]

Hi Varza,

While STP has a simplifier built-in (and can handle linear equations), we do not guarantee that the simplifier will output a set of linear equations for an input set of STP queries.

-Vijay.

--

---
You received this message because you are subscribed to the Google Groups "stp-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stp-users+...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

--
Cheers,
Vijay Ganesh
http://ece.uwaterloo.ca/~vganesh

[varza victor]

Vijay,

Thank you for answering me. Do you have documentation or some example of how to use this built-in simplifier?

Best regards, 

Victor

2013/4/1 Vijay Ganesh <hello...@gmail.com>