requirements.txt.bazel

#
# This file is autogenerated by pip-compile with Python 3.11
# by the following command:
#
#    bazel run //:requirements.update
#
cvc5==1.1.2 ; sys_platform == "linux" or sys_platform == "darwin" \
    --hash=sha256:06417fcb14968378013b522c67a7e3b88e032d9689e160fa28b3a9aa5af820f5 \
    --hash=sha256:13430b08dd96b06818a1696e824ba045077265e1b34378bf86c6ced83ab3a302 \
    --hash=sha256:15160cbb21d2df205ba688aba6eff5af1434ce8297c82924b619879f07354784 \
    --hash=sha256:26b26ff66a85a45c0fd03c19778ceb3c3b17837fcf222dbf78bd819e87b33078 \
    --hash=sha256:3c3f428c0ff8379db0f3e15bd74318a9b1984fbc626dc800856983cae1d5b345 \
    --hash=sha256:40eda8d888b6dbced3e73fe2a38cd930a4b48f67880169544969072d4196d7b5 \
    --hash=sha256:4eb3fb7d829ad6a4d70e837e82647ba978cb343555a459b866a2647ff42ae8e4 \
    --hash=sha256:4fa4075ddb8e5a6c6b1d1e50267689cccfe527e8707261b2a82a748b4425c7f6 \
    --hash=sha256:53c77150cfd521f8836a70446a75c5a9398bd2d49b0f5e60f259e348cfba99b2 \
    --hash=sha256:6ee4e08df71f38999acddf9fa449464791fc41c9d6f273300d4d5d232bcf494d \
    --hash=sha256:6fe8c6b657e919e395b82e00ab0cd3f1c2159bec9794ae44e30293c13cbefa20 \
    --hash=sha256:77e4a4b6cb609ffb4b037d7f1830f1c6638a18af8df0478cee10894235556d49 \
    --hash=sha256:7faacb9020487ce725e84a9f96e4e8d0a6ab0ca21cf2bff56f5a6642493a1058 \
    --hash=sha256:81a56af2689e89ffd883271ee2ace88c1b60dfe979f9502e2429a3f9a00b9c26 \
    --hash=sha256:8abfa8f34b3cd8905f5f2cddf7383bed0695f24e70c0131e899ab8634ffcd1a6 \
    --hash=sha256:94bdfb9b0b81fa3c6b5c6ee86b03a8755c0088d7ca01a815b3aa2633bad837f3 \
    --hash=sha256:97313d85ae96a541f120e7cc40ac908084998d460a4a7eac89d84b808985faee \
    --hash=sha256:bb46c61deebc73aa181b7cb7081c31d02d1628b242ddb8eb09b137d3aa438c79 \
    --hash=sha256:c1e2f3cf0ec6097da97c29e4cef2a0fbd912ea5e3031a98ef89c017f3f7a59b6 \
    --hash=sha256:cfb76c3a2737cccfda494f442b8686d026f76b5b13c4689f191d9db89efa8aef \
    --hash=sha256:d2bf0aa6c7eb4b240301f1d22315fdf2ec792e17a010c92717c0626189c44878 \
    --hash=sha256:d4694bd0700e2a85743fb64d8b041cd490840e77295e3c907a06e3d73cd6d3c5 \
    --hash=sha256:d9cffdfcc40d6c8cb8a36b75e8fe20e35fda46053ff99135fbffc6f086f97fcf \
    --hash=sha256:dc9ff5725237c1b8699636a13e533a2c4988cf32c18c7d3a89af54571ddfb315 \
    --hash=sha256:e2eb8a93902e361796c085337480b249338971a3f1df5655142289ace8a6263c \
    --hash=sha256:e3a4ae547a593469edd6f9cdfa17e8dac2e12e5a27376f919c4f2d62bf3ecbcd \
    --hash=sha256:e7801cebba7021e5716ccf373a96266470e0c5cdc4ee94e477083df106b3798c \
    --hash=sha256:e9612d5b21036e8d09b0db6f4206920364686501a9bfc157a1ed712477ec032d \
    --hash=sha256:f7527ba92b7804c06b7a8c9450cc814977fe47d8b81ee3c11ba49b1730ec847a \
    --hash=sha256:fb7e3e82157894f1d03109795350fed7195fe078177d09e1e232701834bf0878
    # via -r requirements.txt
pyvcg==1.0.6 \
    --hash=sha256:cf0ddec9a80f5880836bfe93214641e83fedf279311ad6182bb85b726d896e47 \
    --hash=sha256:eaa7c054c3fae21706855aa314761f139080661c63fa9712c48340c563513199
    # via -r requirements.txt