Finally a normal Java build system for z3

[sequencer]

Thank you! I'm being finding project like this for a long time.
I wonder if there is any plan to upstream this project to official z3 to make them being possible release a maven version?

[no-preserve-root]

Thanks! I've already commented on the Z3 issue related to this some months back, but I have not heard back yet.

[nguyenvietyen]

Thank you too @no-preserve-root!
(this project relieved much of our team's headaches)

Let me know what I can do to champion this to upstream!