google/souper — pull request #145 by rsas (2014-12-19 23:07:49+00:00)
Title: Add a note how to speed up SMT query solving

A note how to use a specific KLEE branch with ``BitVector`` encoding to speed up SMT query solving.