README
1Small example using the C bindings.
2To build the example execute
3 make examples
4in the build directory.
5
6This command will create the executable maxsat.
7On Windows, you can just execute it.
8On macOS and Linux, you must install z3 first using
9 sudo make install
10OR 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.
11
12This directory contains a test file (ex.smt) that can be used as input for the maxsat test application.
13