Recent Releases of https://github.com/awslabs/rust-smt-ir
https://github.com/awslabs/rust-smt-ir - v0.2.0
Renamed packages and added support for Sets (supported by cvc5)
- SMT
Published by mww-aws over 3 years ago
https://github.com/awslabs/rust-smt-ir - v0.1.1
Same as v0.1.0 but for a fix to make it compile/pass clippy checks with rust-1.65.0-nightly.
- SMT
Published by BrunoDutertre almost 4 years ago
https://github.com/awslabs/rust-smt-ir - v0.1.0
First release. Works on most of SMT-LIB. Still some issues with datatypes.
- SMT
Published by BrunoDutertre almost 4 years ago