Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
z3
The Z3 Theorem Prover
C++
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
3mo ago
Recent commits
Latest commits.
compiled workflows
664c8ca
Nikolaj Bjorner
3mo ago
Merge pull request #8948 from angelica-moreira/z3-skill-exploration
9c2d34c
Nikolaj Bjorner
3mo ago
Merge pull request #8945 from Z3Prover/vect_fix
faf888d
Nikolaj Bjorner
3mo ago
add per-skill @z3 usage examples to agent readme
f120cc6
Angelica Moreira
3mo ago
move agent readme to repo root as Z3-AGENT.md
68ea8d3
Angelica Moreira
3mo ago
Merge pull request #8946 from Z3Prover/copilot/sub-pr-8945
610527e
Lev Nachmanson
3mo ago
Add vector::resize tests including vector<rational>
01f9709
copilot-swe-agent[bot]
3mo ago
Initial plan
385b11f
copilot-swe-agent[bot]
3mo ago
Top contributors
Builders behind this project.
NikolajBjorner
12.5K commits
wintersteiger
2.1K commits
levnach
1.9K commits
Copilot
795 commits
leodemoura
761 commits
nunoplopes
631 commits
mtrberzi
630 commits
agurfinkel
362 commits
