requirements.txt

#
# This file is autogenerated by pip-compile with Python 3.10
# by the following command:
#
#    pip-compile --extra=dev pyproject.toml
#
black==24.4.2
    # via btor2-opt (pyproject.toml)
build==1.2.1
    # via pip-tools
bumpver==2023.1129
    # via btor2-opt (pyproject.toml)
click==8.1.7
    # via
    #   black
    #   bumpver
    #   pip-tools
colorama==0.4.6
    # via bumpver
isort==5.13.2
    # via btor2-opt (pyproject.toml)
lexid==2021.1006
    # via bumpver
looseversion==1.3.0
    # via bumpver
mypy-extensions==1.0.0
    # via black
packaging==24.1
    # via
    #   black
    #   build
pathspec==0.12.1
    # via black
pip-tools==7.4.1
    # via btor2-opt (pyproject.toml)
platformdirs==4.2.2
    # via black
pyproject-hooks==1.1.0
    # via
    #   build
    #   pip-tools
toml==0.10.2
    # via bumpver
tomli==2.0.1
    # via
    #   black
    #   build
    #   pip-tools
typing-extensions==4.12.2
    # via black
wheel==0.43.0
    # via pip-tools
tqdm==4.67.1


# The following packages are considered to be unsafe in a requirements file:
# pip
# setuptools