NimWorld

Packages Categories Fun Stats Submit

Packages tagged: Z3

Nim Z3 theorem prover bindings

Pure Nim Z3 sat smt theorem prover linux macos win

NimWorld - The Definitive Nim Resource. Built with Nim, Python, and ❤.

Positive Mode: ON — show full ecosystem data