Z3 MAXSAT

Error: index out of bounds

../z3-master/build/maxsat 940_590f27b1c3c800d3243e_33_QF_UFDTLIA.smt2
Error: index out of bounds

Workaround use z3

Should you have used z3 rather than maxsat? 
../z3-master/build/z3 940_590f27b1c3c800d3243e_33_QF_UFDTLIA.smt2
W.B.Langdon Back Started 4 February 2025