-
Notifications
You must be signed in to change notification settings - Fork 85
Insights: a16z/halmos
Dependency graph
27 Total
-
pip
·
pyproject.toml
·
Detected automatically on Jun 03, 2025
- pip · pyproject.toml · Detected automatically on Jun 03, 2025psutil >= 6.1.0
- pip · pyproject.toml · Detected automatically on Jun 03, 2025requests >= 2.32.3
- pip · pyproject.toml · Detected automatically on Jun 03, 2025rich >= 13.9.4
- pip · pyproject.toml · Detected automatically on Jun 03, 2025sortedcontainers >= 2.4.0
- pip · pyproject.toml · Detected automatically on Jun 03, 2025toml >= 0.10.2
- pip · pyproject.toml · Detected automatically on Jun 03, 2025xxhash >= 3.5.0
- pip · pyproject.toml · Detected automatically on Jun 03, 2025yices-solver >= 2.6.4, < 2.6.5
- pip · pyproject.toml · Detected automatically on Jun 03, 2025 · MITz3-solver 4.12.6.0
- GitHub Actions · .github/workflows/test.yml · Detected automatically on Apr 04, 2025actions/checkout 4.*.*
- GitHub Actions · .github/workflows/test.yml · Detected automatically on Apr 04, 2025astral-sh/setup-uv 4.*.*
-
GitHub Actions
·
.github/workflows/test.yml
·
Detected automatically on Apr 04, 2025
- GitHub Actions · .github/workflows/test-external.yml · Detected automatically on Jun 03, 2025actions/checkout 4.*.*
- GitHub Actions · .github/workflows/test-long.yml · Detected automatically on Nov 08, 2024actions/checkout 4.*.*
- GitHub Actions · .github/workflows/test-ffi.yml · Detected automatically on Nov 08, 2024actions/checkout 4.*.*
- GitHub Actions · .github/workflows/publish-halmos-package.yml · Detected automatically on Nov 08, 2024actions/checkout 4.*.*
- GitHub Actions · .github/workflows/publish-halmos-package.yml · Detected automatically on Nov 08, 2024docker/login-action 3.*.*
- GitHub Actions · .github/workflows/publish-solvers-package.yml · Detected automatically on Jul 19, 2024actions/checkout 4.*.*
- GitHub Actions · .github/workflows/publish-solvers-package.yml · Detected automatically on Jul 19, 2024docker/login-action 3.*.*
- GitHub Actions · .github/workflows/publish-halmos-builder-package.yml · Detected automatically on Nov 08, 2024actions/checkout 4.*.*
ProTip!
Supported ecosystems will have transitivity labels on their packages.