example tutorial

[Anupam Chattopadhyay]

Dear OpenSMT Team,

I will like to use opensmt for a research project.

I was looking for simple examples on how to build algebraic
equalities using opensmt APIs. Can you please provide a link to such
tutorial, if available. The TACAS slides explain it a bit only. I am
looking for the complete description of the available APIs.

--
regards,
Anupam

[Roberto Bruttomesso]

Hello,

at the moment we do not have extensive documentation on the API.
Probably the most useful piece of documentation is the header file
itself in src/api/opensmt_c.h

I can provide more specific feedback if necessary, you can mail me directly

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.
>
>

--
Roberto Bruttomesso, PhD - http://tinyurl.com/r0b3r70

[Robert White]

https://code.google.com/p/opensmt/source/browse/trunk/api_example/example1.c?r=38

https://code.google.com/p/opensmt/source/browse/trunk/api_example/example2.c?r=38

https://code.google.com/p/opensmt/source/browse/trunk/api_example/example3.c?r=38

Hope this helps.