3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-12 20:04:08 +00:00

Add a3-python agentic workflow

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-10 20:52:50 +00:00
parent e989587c75
commit b5b6c4c124
2 changed files with 1339 additions and 0 deletions

1039
.github/workflows/a3-python.lock.yml generated vendored Normal file

File diff suppressed because it is too large Load diff