How to use the library? Any samples?

[doranew]

Hi thanks for the library.
There are only benchmarks in the library, no any sample code, no documentations, so I'm wondering how to use this library. Such as that, add a value to the SMT, check the existence and absence of the value in the SMT, etc.
Seems the library is quite low level, so maybe I need to wrap it with some high level abstraction? If so, any samples?

Thanks

[pulls]

Hi doranew,

Thank you for your interest in our work.

Please note that this is a proof-of-concept implementation not intended for serious use as a library. As you say, from a library you'd expect at the very least better documentation. Unfortunately we got no plans to fix this. If you or someone else creates a fork of gosmt intended for use as a library please let me know and I'll gladly add a link to the README.

Best,
Tobias