4.8.7-fuzzolic-r01

API:

• uint64_t Z3_API Z3_custom_eval(Z3_context c, Z3_ast expr, uint8_t* data, size_t data_size);

Compilation:

mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=`pwd`/dist