Closed this issue a year ago · 0 comments
Currently verify_with_z3api doesn't return a model, making array evaluation a problem. implement get_proof from library.
verify_with_z3api
get_proof