z3nim
Z3 binding for Nim
Wraps a native library — check OS Compatibility below for platform-specific linking notes.
Summary
| Latest Version | Unknown |
|---|---|
| License | MIT |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-07-21 05:24 |
Tags
Installation
nimble install z3nim
choosenim install z3nim
git clone https://github.com/Double-oxygeN/z3nim
OS Compatibility
| Platform | Linux | macOS | Windows | FreeBSD | OpenBSD | NetBSD | Android | iOS | WASM | Embedded |
|---|---|---|---|---|---|---|---|---|---|---|
| z3nim | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Source
| Repository | https://github.com/Double-oxygeN/z3nim |
|---|---|
| Homepage | https://github.com/Double-oxygeN/z3nim |
| Registry Source | nimble_official |
README
Z3Nim
Z3 Nim binding.
Documentation
https://gh.double-oxygen.net/z3nim/z3nim.html
License
MIT.