EZ3Str module run and parse with tests.
Z3-str attempt in .travis.yml
More Z3 stuff for .travis.yml
More .travis.yml changes
Git fix for Travis-CI
Travis update to use my version of Z3.
Yet another travis attempt.
Apt-based travis script.
Use my patched Z3.
Clearer travis file.
More travis fixes - almost works for Z3 and Z3-str
Travis pushd test.
Travis almost there.
Travis...
Final travis?
Z3-str interface with tests.