stp/stp — pull request #108 by sneves (2014-05-28 06:53:09+00:00)
Title: Fix memory leak in C interface

Memory leak when printing, caught by valgrind. Fix by deleting temporary `Simplifier` object.