Full SMTLIB v2.5 support - Githubissues

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

Apache License 2.0

16 stars 12 forks source link

Full SMTLIB v2.5 support #18

Open XVilka opened 7 years ago

XVilka commented 7 years ago

http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06-28.pdf