search

elliottt / easy-smt

Easy SMT solver interaction
Apache License 2.0
24 stars 4 forks source link

Publish to crates.io #6

Closed fitzgen closed 1 year ago

fitzgen commented 1 year ago

Anything we want to have before publishing to crates.io?

elliottt commented 1 year ago

Have we finished binding all the theories defined in smtlib-2? It might also be good to just release it and see what people report as the shortcomings of the library...

fitzgen commented 1 year ago

Have we finished binding all the theories defined in smtlib-2?

Not totally sure, I've been meaning to go through the spec and ensure coverage. No harm in publishing sooner rather than later though. Not guaranteeing feature completeness or 1.0 stability yet.

elliottt commented 1 year ago

I say we publish it then!