Category "smt"

How can I reduce the following assert statements?

I am struggling to reduce the current assert statements I looked at z3 research and multiple other related research papers with no progress. I need the output t