kframework/k — pull request #896 by dwightguth (2014-08-28 15:07:35+00:00)
Title: update z3 api to latest

@andreistefanescu please review