Add a note how to speed up SMT query solving
Merge pull request #145 from rsas/bv-note

Add a note how to speed up SMT query solving