Skip to content

Latest commit

 

History

History

c++

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
Small example using the c++ bindings.
To build the example execute
   make examples
in the build directory.

This command will create the executable cpp_example.
On Windows, you can just execute it.
On macOS and Linux, you must install z3 first using
   sudo make install
OR update LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (macOS) with the build directory. You need that to be able to find the Z3 shared library.