sfrehse/metaSMT — pull request #1 by sfrehse (2012-07-03 07:38:03+00:00)
Title: Development

The test cases have been splitted.