search

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers
Apache License 2.0
16 stars 12 forks source link

Pass options to solver #5

Open sushant94 opened 8 years ago

sushant94 commented 8 years ago

Add support to pass options to the underlying solver.