GitLab

Z3 version 4.13.0 has apparently made API changes:

/Users/cameron/parabix-devel/lib/kernel/pipeline/compiler/analysis/simple_variable_rate_analysis.cpp:40:16: error: no matching function for call to 'Z3_optimize_check'
        return Z3_optimize_check(ctx, solver);
               ^~~~~~~~~~~~~~~~~
/opt/homebrew/include/z3_optimization.h:156:21: note: candidate function not viable: requires 4 arguments, but 2 were provided
    Z3_lbool Z3_API Z3_optimize_check(Z3_context c, Z3_optimize o, unsigned num_assumptions, Z3_ast const assumptions[]);