search

yav / simple-smt

BSD 3-Clause "New" or "Revised" License
20 stars 20 forks source link

Add versions of setLogic and setOption that accept unsupported #2

Closed elliottt closed 9 years ago