This repository was archived by the owner on Nov 8, 2022. It is now read-only.
This repository was archived by the owner on Nov 8, 2022. It is now read-only.
Build Failure on Linux #23
Description
Ubuntu 18.04. I installed z3 4.4.1 with sudo apt install libz3-dev. swift build produces these errors:
/home/xander/dev/swift-tfp/Sources/LibTFP/Solvers/Z3/Z3.swift:151:11: error: type 'Z3_bool' (aka 'Int32') cannot be used as a
boolean; test for '!= 0' instead
guard Z3_get_numeral_int64(ctx.ctx, interpretation, &result) else {
^
( != 0)
Swift for Tensorflow 0.12.