check examples

35 views

Skip to first unread message

Ali Moeinvaziri

unread,

Mar 9, 2012, 5:30:23 PM3/9/12

to opensmt

Hi,

I've downloaded and compiled opensmt. Is there any manual page along
with it on
how to form a simple example to test the compiled version on my
platform?

Thanks,
-AM

Roberto Bruttomesso

unread,

Mar 9, 2012, 5:31:50 PM3/9/12

to ope...@googlegroups.com

you can find a lot of examples here

www.smtlib.org

Cheers,
Roberto

> --
> You received this message because you are subscribed to the Google Groups "opensmt" group.
> 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.
>