@name z3-5.3.0
@version 20
@comment pkgpath=math/z3 ftp=yes
@arch amd64
+DESC
@sha MCDzQhaGHKQmVVUxQzucEAPD89zBgrQuVpHp4SztHkQ=
@size 129
@conflict py3-z3-solver-*
@wantlib c++.13.0
@wantlib c++abi.10.0
@wantlib c.104.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/z3
@sha hcei/rLYCa9J1iHM4C2HoOkRehT1B7A5KIdioL+xcjY=
@size 33674992
@ts 1792096512
include/z3++.h
@sha nW+6pM+Qw4dWzhp9u4NtrLobHe2waQ2BfLwYU29aJUA=
@size 221922
@ts 1792006844
include/z3.h
@sha YMwrs+HfLA/GEFtqc8AyudT0dIdHFhaZS6Y9+NgYmKg=
@size 495
@ts 1792006844
include/z3_algebraic.h
@sha DuByLjFHRQwNusyBwtQeGSMT5/JVZCYtqtQecy+k3Og=
@size 7195
@ts 1792006844
include/z3_api.h
@sha PqquGo9SPWoDE/JXOGrlnlztXts7+5pBlU5l6ECfDvQ=
@size 280677
@ts 1792006844
include/z3_ast_containers.h
@sha Zofz7JSD83dLiVG+D5lEq0f2G+29Qhk9B13YjGEvskg=
@size 5735
@ts 1792006844
include/z3_fixedpoint.h
@sha zIpCQWPdapKhv+B96mjtuPyNq7WPYSsehaAzohF43tw=
@size 14123
@ts 1792006844
include/z3_fpa.h
@sha Xr4aYdEoxXn1O+Lx8rTUXna34ECB3omhFUJxnFl2OWw=
@size 43932
@ts 1792006844
include/z3_macros.h
@sha nZL4E2q+8Q3YQpoo/ZBo6bPk/rVpYHJ2PNjQ7cHwCyQ=
@size 389
@ts 1792006844
include/z3_optimization.h
@sha fzKiC7WDMljXByMLGSLvvyV4r039CxhTT/JonH+uhp8=
@size 15217
@ts 1792006844
include/z3_polynomial.h
@sha 4YlMQO2zcRXPIhqO8vflVXxzYMPAWD8FWC+Enr3XjDY=
@size 1056
@ts 1792006844
include/z3_rcf.h
@sha DPHXfmfknfEt0gqsi/O/P0aXPr+CjKj30UIo1tLLhso=
@size 9960
@ts 1792006844
include/z3_spacer.h
@sha 3SO+huT8dM0K32ypRINNFluT9qbzr4GSMRbbl6fuHd0=
@size 4459
@ts 1792006844
include/z3_v1.h
@sha MNF3ba/d1CbQakpzfVHTdzG0V5D8Jlc7NhVi43WOuwQ=
@size 2220
@ts 1792006844
include/z3_version.h
@sha 9XylbvJeljSumi6LjJ8XpzmkLLvwo9IenmeJiYMMUgU=
@size 210
@ts 1792095984
lib/cmake/
lib/cmake/z3/
lib/cmake/z3/Z3-shared-targets-release.cmake
@sha VHdy+gIT0ydaY9kTIUICDkYqCliW44cTkQg+nxHh4cI=
@size 811
@ts 1792095985
lib/cmake/z3/Z3-shared-targets.cmake
@sha MPsL1iU0N0OZIzPI1S1F9nzZ0a83Sx6INlAEAS1XZF0=
@size 5475
@ts 1792095985
lib/cmake/z3/Z3Config.cmake
@sha pjv6IPvtUhLx8jL8swa6KJmwbiwruQg9C+uO9PRIyyY=
@size 4566
@ts 1792095984
lib/cmake/z3/Z3ConfigVersion.cmake
@sha 7WFhPy/qx/q/x11rareMFvCTuLhaJaMKQHb4LpRzBcE=
@size 2768
@ts 1792095984
@lib lib/libz3.so.5.1
@sha UEX7JQL050fva7Y5FBlrpklYtfBaqPDcm3mq5UerA+U=
@size 33710960
@ts 1792096542
lib/pkgconfig/z3.pc
@sha YuLP66BYAKtj7cL/Sh9v5VJ1RGHPa61E40Y4rb7QTuw=
@size 256
@ts 1792095985
lib/python3.14/
lib/python3.14/site-packages/
lib/python3.14/site-packages/z3/
lib/python3.14/site-packages/z3/__init__.py
@sha VOGDPC3yygHDO0hxgPdVgOq4Nk3BgAolkmO2QxAGm/M=
@size 232
@ts 1792096479
lib/python3.14/site-packages/z3/z3.py
@sha B9ISeLm2B0lV3nALcQ8fhfKpaNcbkLB8Hb3eQJ0IczQ=
@size 372389
@ts 1792096479
lib/python3.14/site-packages/z3/z3consts.py
@sha p1crh2wM8bLpEBhxDIoyuAgY+JQQda2ZIgnzH4KWilg=
@size 8589
@ts 1792096479
lib/python3.14/site-packages/z3/z3core.py
@sha 5wO30sYb/LME1zYOk7l5wHRHzYcBZX9vdiRIVISe/pU=
@size 209795
@ts 1792096479
lib/python3.14/site-packages/z3/z3num.py
@sha sJne4jUr5YHvlvvtwYOsMk8DAC7nz3H76/aqE1XNQ0E=
@size 16384
@ts 1792096479
lib/python3.14/site-packages/z3/z3poly.py
@sha /QYClBjliZswD+OzowDREMjhdOYzy6i3UTFPIqWDOU4=
@size 1113
@ts 1792096479
lib/python3.14/site-packages/z3/z3printer.py
@sha CWLTC5VD4E8L3UY22RmDlzpgTWqyt2oCgwDbN9+gFU4=
@size 46731
@ts 1792096479
lib/python3.14/site-packages/z3/z3rcf.py
@sha UE4DObG7BgdcGcpS5RRXcWZxIYovIZHQyXVOC3W+3oc=
@size 5039
@ts 1792096479
lib/python3.14/site-packages/z3/z3regex.py
@sha T2SQPM41bG+1QQQdnFDOcMjRKggkWSYR2HvWAykPg+Q=
@size 5039
@ts 1792096479
lib/python3.14/site-packages/z3/z3test.py
@sha OYxcNAT+jd0cVoNmIICFkrv0agaR4aP/054bV0bmApo=
@size 540
@ts 1792096479
lib/python3.14/site-packages/z3/z3types.py
@sha unKDVLSp7kC8+9iZ9AXZBLxLsCPkGAcETAbDGFSMMIA=
@size 4883
@ts 1792096479
lib/python3.14/site-packages/z3/z3util.py
@sha vRtDZ0mw13ABAKakn9CfCZdcAl8VaSX8iAWsmebbUPg=
@size 11466
@ts 1792096479
