bhle/bhle — pull request #235 by wkollernhm (2011-10-17 11:21:23+00:00)
Title: Initial SMT push

Initial SMT push