Update Cargo.toml - Githubissues

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Apache License 2.0

65 stars 14 forks source link

Closed Dylan-DPC closed 2 years ago

AdrienChampion commented 2 years ago

Hey!

Thank you for your PR 😸

I just opened one myself that covers this PR and other minor fixes/updates

Can you confirm that this covers your PR and close it if it does?

AdrienChampion commented 2 years ago

@Dylan-DPC thanks!

Published under v0.16.2.