Loreon
Labs
Platform
Docs
Home
Ecosystems
Zig
z3-sys
Low-level zig bindings to z3
Zig
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
3mo ago
Recent commits
Latest commits.
z3-sys: add multi-arity symbolic functions
08342ae
JeFfrey Young
3mo ago
build: add module function, add some TODOs
d913fcc
JeFfrey Young
3mo ago
chore: rename c struct -> z3
6c437a0
JeFfrey Young
3mo ago
build: add link helper function
6399a0c
JeFfrey Young
3mo ago
project: rename z3-sys -> z3_sys
3d5cd22
JeFfrey Young
3mo ago
project: add fingerprint, correct module name
2724eaa
JeFfrey Young
3mo ago
project: add minimal build.zig.zon
e0eb320
JeFfrey Young
3mo ago
project: basic c-ffi up and running
fe466b6
JeFfrey Young
4mo ago
Top contributors
Builders behind this project.
doyougnu
9 commits
