fc1d16a73d
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
19 lines
337 B
Plaintext
19 lines
337 B
Plaintext
bin/z3
|
|
include/z3++.h
|
|
include/z3.h
|
|
include/z3_algebraic.h
|
|
include/z3_api.h
|
|
include/z3_ast_containers.h
|
|
include/z3_fixedpoint.h
|
|
include/z3_fpa.h
|
|
include/z3_interp.h
|
|
include/z3_macros.h
|
|
include/z3_optimization.h
|
|
include/z3_polynomial.h
|
|
include/z3_rcf.h
|
|
include/z3_spacer.h
|
|
include/z3_v1.h
|
|
%%STATIC%%lib/libz3.a
|
|
lib/libz3.so
|
|
lib/libz3.so.0
|