[net-analyzer/smt] python 3.4 support