Z3Prover-z3

mirror of https://github.com/Z3Prover/z3 synced 2026-06-08 12:59:34 +00:00

Files

T

Henrich Lauko 96671cfc73 Add and fix a few general compiler warnings. (#5628 )

* rewriter: fix unused variable warnings

* cmake: make missing non-virtual dtors error

* treewide: add missing virtual destructors

* cmake: add a few more checks

* api: add missing virtual destructor to user_propagator_base

* examples: compile cpp example with compiler warnings

* model: fix unused variable warnings

* rewriter: fix logical-op-parentheses warnings

* sat: fix unused variable warnings

* smt: fix unused variable warnings

2021-10-29 15:42:32 +02:00

CMakeLists.txt

Add and fix a few general compiler warnings. (#5628 )

2021-10-29 15:42:32 +02:00

example.cpp

ex handler

2021-10-27 09:38:36 +02:00

README

Refer to macOS rather than Mac OS / OSX.

2018-10-02 17:38:09 +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 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.