z3/examples/c++ at 7fd5042ff39d5b17f872263380be1267a9f6e385 - mirrors/z3

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

History

Dan Liew a3e0eae9ec Move CMakeLists.txt files (other than the one in the repository root) and the cmake directory into a new directory ``contrib/cmake`` that mirrors the directory structure of the root. This is a comprimise between me and Christoph Wintersteiger that was suggested by Arie Gurfinkel that allows the CMake build system to live in the Z3 repository but not impact the Z3 developers that want to avoid the CMake build system. The build system will not work in its new location and a bootstrap script will soon be provided that allows a developer to copy the files back to their correct location.	2016-03-04 15:26:09 +00:00
..
example.cpp	add documentation methods to param_descrs, add C++ API and example for param_descrs. Issue #443	2016-02-12 11:45:00 +00:00
README	c++ example	2012-10-28 10:06:02 -07:00

Dan Liew a3e0eae9ec Move CMakeLists.txt files (other than the one in the repository root)

and the cmake directory into a new directory ``contrib/cmake`` that
mirrors the directory structure of the root. This is a comprimise
between me and Christoph Wintersteiger that was suggested by Arie
Gurfinkel that allows the CMake build system to live in the Z3
repository but not impact the Z3 developers that want to avoid the CMake
build system. The build system will not work in its new location
and a bootstrap script will soon be provided that allows a developer
to copy the files back to their correct location.

2016-03-04 15:26:09 +00:00

example.cpp

add documentation methods to param_descrs, add C++ API and example for param_descrs. Issue #443

2016-02-12 11:45:00 +00:00

README

c++ example

2012-10-28 10:06:02 -07:00

README

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 OSX and Linux, you must install z3 first using 
   sudo make install
OR update LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX) with the build directory. You need that to be able to find the Z3 shared library.