Morgan Jones
Morgan Jones
Thank you for the work on this! I agree with the implementation. Redistributable in general in the license doesn't necessarily mean redistributable on Hydra, having a secondary flag that indicates...
Oh, I see the WIP commit here: https://github.com/Z3Prover/z3/commit/f7aec02503d5bc3e8b7947093a4c96aeab98257e
No worries, appreciate the work. Hopefully we'll be able to completely switch off the autotools build system for newer versions of Z3 :-)