# Core dependencies for Frame separation logic solver
z3-solver>=4.8.0
tomli>=2.0.0; python_version < "3.11"   # config file parsing on 3.10

# For security scanning (tree-sitter based frontend)
tree-sitter>=0.21.0
tree-sitter-python>=0.21.0
tree-sitter-c>=0.21.0
tree-sitter-cpp>=0.22.0
tree-sitter-java>=0.21.0
tree-sitter-javascript>=0.21.0
tree-sitter-typescript>=0.21.0
tree-sitter-c-sharp>=0.21.0

# For downloading benchmark sets
requests>=2.25.0   # For downloading benchmarks from web sources
zstandard>=0.22.0  # For extracting SMT-LIB .tar.zst archives
