K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-07-24T21:03:48.465688Z
K 7
svn:log
V 287
math/z3: Fix the python binding to work for all python versions

The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.

While here, remove the unnecessary CONFLICTS statement.

PR:		229937
Approved by:	portmgr

END