https://github.com/tinysec/wdk-z3
https://github.com/tinysec/wdk-z3
Last synced: 9 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/tinysec/wdk-z3
- Owner: tinysec
- License: other
- Created: 2026-06-08T05:54:23.000Z (about 2 months ago)
- Default Branch: master
- Last Pushed: 2026-06-15T09:09:36.000Z (about 1 month ago)
- Last Synced: 2026-06-15T11:38:42.392Z (about 1 month ago)
- Language: C
- Size: 205 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# wdk-z3
[](#)
[](#)
[](#usage)
[](#features)
## Introduction
`wdk-z3` is a WDK 7 compatible header and import-library package for the
Z3 C API. Exact build tags include the GitHub Actions build number, such as
`v4.16.0.123`. The floating tag `v4.16.0` is an alias for the latest exact
build tag for Z3 `4.16.0`.
## Features
- WDK 7 friendly Z3 C API headers.
- `amd64` and `i386` `z3.lib` import libraries for `z3.dll`.
- CMake package target: `z3::z3`.
- No bundled Z3 source tree.
- No runtime DLLs committed to git.
## Usage
Use `FetchContent` and always pin `GIT_TAG`:
```cmake
include(FetchContent)
FetchContent_Declare(
z3
GIT_REPOSITORY https://github.com/tinysec/wdk-z3.git
GIT_TAG v4.16.0)
FetchContent_MakeAvailable(z3)
target_link_libraries(your_target PRIVATE z3::z3)
```
Use an installed package:
```cmake
find_package(z3 4.16 CONFIG REQUIRED)
target_link_libraries(your_target PRIVATE z3::z3)
```
The selected architecture follows `WDK7_ARCH`; otherwise pass
`-DZ3_ARCH=amd64` or `-DZ3_ARCH=i386`.
If CMake should copy an external runtime DLL next to an executable:
```cmake
set(Z3_RUNTIME_DLL "D:/path/to/z3.dll" CACHE FILEPATH "")
target_link_libraries(your_target PRIVATE z3::z3)
z3_copy_runtime(your_target)
```