thomasjball/PyExZ3 — pull request #9 by GroundPound (2014-11-26 16:23:47+00:00)
Title: Z3 Wrapper Debug Logging Output

Originally the z3_wrap.py debugging output would go to standard out
through print statements guarded by a constant conditional statement.

I've replaced the print statements with DEBUG logging statements.