[docs] Improve usage examples

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

Apache License 2.0

16 stars 12 forks source link

Open sushant94 opened 8 years ago

sushant94 commented 8 years ago

[ ] Add more usage examples to show use of more logics
[ ] Write blogpost showing various aspects of libsmt2 such as:
- Implementing a new solver backend
- Implementing a new custom logic