Loreon
Labs
Platform
Docs
Home
Ecosystems
Nix
z3-nix-versions
W95Psp/z3-nix-versions
Nix
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
8mo ago
Recent commits
Latest commits.
Merge pull request #14 from W95Psp/update-2025-10-30-1761785043
df5ecff
Lucas Franceschino
8mo ago
add z3: `4.15.4`
8e49baf
Bot
8mo ago
Merge pull request #13 from W95Psp/update-2025-08-17-1755392631
96de4e0
Lucas Franceschino
10mo ago
add z3: `4.15.3`
148379e
Bot
10mo ago
Merge pull request #12 from W95Psp/update-2025-06-26-1750899533
22833a8
Lucas Franceschino
12mo ago
add z3: `4.15.2`
bb836f7
Bot
12mo ago
Merge pull request #11 from W95Psp/update-2025-06-11-1749603514
b852ec3
Lucas Franceschino
12mo ago
add z3: `4.15.1`
3bfd0d1
Bot
12mo ago
Top contributors
Builders behind this project.
W95Psp
10 commits
