mirror of
https://github.com/Z3Prover/z3
synced 2026-02-17 14:21:45 +00:00
7 lines
141 B
Modula-2
7 lines
141 B
Modula-2
module z3-examples
|
|
|
|
go 1.20
|
|
|
|
require github.com/Z3Prover/z3/src/api/go v0.0.0
|
|
|
|
replace github.com/Z3Prover/z3/src/api/go => ../../src/api/go
|