Use a longer solver query timeout when running unittests. I have a hunch that the test failures I'm seeing in TravisCI are due to the solver timing out and then reporting unknown due to a short timeout of 10 seconds.
Use a longer solver query timeout when running unittests. I have
a hunch that the test failures I'm seeing in TravisCI are due to
the solver timing out and then reporting unknown due to a short
timeout of 10 seconds.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix