z3nim
Z3 binding for Nim
Wraps a native library — check OS Compatibility below for platform-specific linking notes.
Summary
| Latest Version | 0.1.0 |
|---|---|
| License | MIT |
| CI Status | Failing |
| Downloads | 0 |
| Last Indexed | 2026-09-01 07:17 |
Tags
Authors
- Double-oxygeN
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 | ✓ | ✓ | ✓ | - | - | - | - | - | - | - |
Dependencies
| Package | Version | Optional |
|---|---|---|
| nim >= | 0.20.2 | No |
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.