stp/stp — pull request #73 by s-falke (2014-02-10 12:55:31+00:00)
Title: Automatically clean up bool type.

The C interface treats the bool type different from BV and array types. The later are automatically deleted, while the former isn't. This commit changes the C interface in order to automatically delete the bool type as well.