kframework/k — pull request #946 by dwightguth (2014-09-12 15:03:25+00:00)
Title: use debian x64 z3 binary because it has an older glibc

@bmmoore please review