[Release] Update dependencies to resolve several issues

[oraluben]

Summary by CodeRabbit

• Chores
  • Updated project dependency constraints for improved compatibility and build stability across environments.

[github-actions]

👋 Hi! Thank you for contributing to the TileLang project.

Please remember to run pre-commit run --all-files in the root directory of the project to ensure your changes are properly linted and formatted. This will help ensure your contribution passes the format check.

We appreciate you taking this step! Our team will review your contribution, and we look forward to your awesome work! 🚀

[coderabbitai]

📝 Walkthrough

Walkthrough

This PR updates project dependencies in pyproject.toml, widening the minimum version constraint for apache-tvm-ffi, adding a Python version conditional for torch-c-dlpack-ext, and establishing upper bounds for z3-solver across both project and build requirements.

Changes

Cohort / File(s)	Summary
Dependency Version Updates pyproject.toml	Modified apache-tvm-ffi lower bound (>=0.1.2), added Python version constraint for torch-c-dlpack-ext (python_version < '3.14'), and added upper bound for z3-solver (>=4.13.0,<4.15.5) in both [project] dependencies and [tool.scikit-build] requires sections.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutes

Possibly related PRs

• [Release] Relax constraint of tvm-ffi to compatible version #1373: Modifies the apache-tvm-ffi dependency constraint in pyproject.toml, directly related to the same dependency version changes.

Suggested reviewers

• LeiWang1999

Poem

🐰 Dependencies shift like morning dew,
Versions old make way for new,
Python's time, z3's bounds so tight,
TVM strings relaxed—all feels right! ✨

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title accurately describes the main change: updating project dependencies in pyproject.toml to resolve version constraints and compatibility issues.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment

---

No actionable comments were generated in the recent review. 🎉

🧹 Recent nitpick comments

pyproject.toml (1)

47-47: Add a comment explaining the z3-solver 4.15.5 upper bound.

The <4.15.5 upper bound is consistently applied in both [project].dependencies (line 47) and [build-system].requires (line 66), which is correct. However, add an inline comment explaining the exclusion—z3-solver 4.15.5 has documented breaking issues including macOS install_name_tool failures and pip build errors. Include a reference to the upstream issues (e.g., Z3Prover/z3#8532, #8536) so the team can track when it's safe to lift the cap.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}