s-falke/kittel-koat — pull request #11 by jeroenk (2014-12-11 16:55:59+00:00)
Title: The symbol for negation in SMTLib1 is ~ not -

Curiously enough only MathSat5 complains about this.