z3

Z3 is a theorem prover from Microsoft Research.

Latest version: 4.8.15

Add to xmake.lua

add_requires("z3 4.8.15")

Learn how to add and link packages with Xmake →

Information

License
MIT
Recipe updated
2022-03-29T12:38:45.000Z

Platforms

  • linux: i386, x86_64, armv7, armv7s, arm64, mips, mips64, mipsel, mips64el, loong64, riscv64, s390x, ppc, ppc64, ppc64el, sparc64
  • macosx: x86_64, arm64
  • windows: x86, x64, arm, arm64, arm64ec

Options

No configurable options.

Versions

  • 4.8.15

Dependencies

Install with xrepo

Install the package independently of a project and inspect its available configuration.

install

xrepo install "z3 4.8.15"

show info

xrepo info "z3"

Link a library to your target

Declare the requirement, then attach the library to the target that uses it.

xmake.lua

add_requires("z3 4.8.15")

target("demo")
    set_kind("binary")
    add_files("src/*.cpp")
    add_packages("z3")

Open a package environment

Open a shell with the environment exported by this package. Use the executable names documented by the package.

enter shell

xrepo env -b "z3 4.8.15" shell