@name z3-4.13.0
@version 1
@comment pkgpath=math/z3 ftp=yes
@arch sparc64
+DESC
@sha 9cwE2y58oWmdnS8om4nmcgGBzAqKPbwxqpptNIs7kMw=
@size 142
@conflict py3-z3-solver-*
@depend lang/gcc/8,-libs:gcc-libs->=8,<9:gcc-libs-8.4.0p25
@wantlib c.100.3
@wantlib estdc++.19.0
@wantlib m.10.1
@wantlib pthread.27.1
@cwd /usr/local
@bin bin/z3
@sha 56DiOLpmqvn7GkSOyUoXtgTL9AUpzPqsZLSqwTAxHB4=
@size 32673559
@ts 1727599500
include/z3++.h
@sha 1Bk5waODHzZ7+7gpWFbhjI0aWl/owsnxzUJTtqD4dUs=
@size 193502
@ts 1709835916
include/z3.h
@sha YMwrs+HfLA/GEFtqc8AyudT0dIdHFhaZS6Y9+NgYmKg=
@size 495
@ts 1709835916
include/z3_algebraic.h
@sha dlnW3sJeSeLdZUamymwFrbJ0N6mJ2FevDLzHGRrbRaY=
@size 7193
@ts 1709835916
include/z3_api.h
@sha kS4ilL9t0/IJsHnjOAbjke30037B0RTNf0x4nmpxJe4=
@size 266535
@ts 1709835916
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1709835916
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1709835916
include/z3_fpa.h
@sha 81d1RICjl4hlP5EGOvU/LgVLI4KoSGFxoKF6meE1SUc=
@size 43462
@ts 1709835916
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1709835916
include/z3_optimization.h
@sha t0zKq30KpdjSux/xfvqFV8i491ayykxXdni/AMhROa4=
@size 12312
@ts 1709835916
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1709835916
include/z3_rcf.h
@sha XyIZFXVzBDM431KAiiWX9Sz5sXmqi4AGtIk1cQJ2Msc=
@size 9952
@ts 1709835916
include/z3_spacer.h
@sha LY/XlTYOPZLdCo6hJmZlL1HGTPdrCivg9fzzPFYxTVM=
@size 3901
@ts 1709835916
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1709835916
include/z3_version.h
@sha kBrwaiBJn4OEIA6YRkOhDs+1CvvB1il8YePidaxOMHI=
@size 212
@ts 1727562540
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3Config.cmake
@sha OpPv1MKTImbdHMISq7LxFM/anIM3pYsK4Gy2Cqw8y3U=
@size 2335
@ts 1727562543
lib/cmake/z3/Z3ConfigVersion.cmake
@sha W3cdOX56MgBH9sow3RrYK3I5rtkMZ5++TnvSlY6Tksc=
@size 2771
@ts 1727562543
lib/cmake/z3/Z3Targets-release.cmake
@sha qffGTTBaBOl24CZ+9ekhWysGnwAg/rycgBrSSpDtrVM=
@size 814
@ts 1727562549
lib/cmake/z3/Z3Targets.cmake
@sha Vh4q5yJThNZlF4J1aHvCCzNl7XMBmhy6b2ewUPZeNTs=
@size 4092
@ts 1727562549
@lib lib/libz3.so.4.11
@sha 7Fc4wXoNmLGnH+W8z63ibHvOO3noZxifcRQdcAuzLko=
@size 32600748
@ts 1727599108
lib/pkgconfig/z3.pc
@sha JBSr5zELSvjs/np6dZtEzhqyW/6U+ulVd3VbsTpvy0w=
@size 267
@ts 1727562543
lib/python3.11/
lib/python3.11/site-packages/
lib/python3.11/site-packages/z3/
lib/python3.11/site-packages/z3/__init__.py
@sha U8RSmgHzjnwNWTt1SMeeDXOYqgn318vRdzRwhZ7i/r0=
@size 210
@ts 1727599578
lib/python3.11/site-packages/z3/z3.py
@sha 9WN7xek86X9ned0hYT2+TTnOPvMk+mGUhfPSf2q37hE=
@size 338717
@ts 1727599579
lib/python3.11/site-packages/z3/z3consts.py
@sha 0NpsBLxMIoKwPmYhVaxUvTBZr+k0DxDpGb2zHY27DMw=
@size 7884
@ts 1727599580
lib/python3.11/site-packages/z3/z3core.py
@sha bdLHwrZlMdD3mxRnrmEVE015arTM7wYbEzIPAjPmfGc=
@size 198598
@ts 1727599583
lib/python3.11/site-packages/z3/z3num.py
@sha 1618zrVghn9V3L2HxYZuHDZf3eyS+qIjIb+RtgxDHe4=
@size 16090
@ts 1727599583
lib/python3.11/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1727599583
lib/python3.11/site-packages/z3/z3printer.py
@sha 5v0bEwHUg60uMzV0Q1eEYxUkEGVU7L4QICQk7lTlHsM=
@size 46240
@ts 1727599583
lib/python3.11/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1727599584
lib/python3.11/site-packages/z3/z3test.py
@sha ZQT50MPz7JDsRowPDfOB21O1EOyIIwL/u8Gcm6JrMAE=
@size 464
@ts 1727599584
lib/python3.11/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1727599584
lib/python3.11/site-packages/z3/z3util.py
@sha cIfxu7ARng6PVF1wy6miFEb/JnzaEonlWzwuTmRO/9k=
@size 11387
@ts 1727599584
