Fix Let parsing
Add test case for issue #58.
Use new stp test infrastructure
Move to misc-tests.
Add test for issue #59
Change regexp so that it does not match unsat
Change regexp so it does not match unsat
Enabled crypto-tests/tea_four_round_one_var_half_key.stp.cvc test.
It's too slow though to be used for Travis builds so I will disabling
shortly.
Disable query file test that is too slow. We should probably move this
to a benchmark repository.
Enable crypto-tests/tea_three_round_two_var.stp.cvc query file test.
Merge pull request #87 from edmcman/issue59

Add test for issue #59
Merge pull request #58 from edmcman/master

Smtlib2 parser does not parse Let terms in formulas correctly