agra-uni-bremen/metaSMT — pull request #3 by finnhaedicke (2012-07-18 12:47:36+00:00)
Title: Python use logic expression

This branch contains lots of fixes and improvements to the metaSMT Python bindings:

* Replaced the custom implementation of logic_expression with the one in metaSMT::expression
* Run each python test as in individual CTest
* Use SMT2 strings to represent logic_expressions in python
* Various test case fixes for the Python bindings

As a result all tests now pass.