On Thu, 28 Aug 2014 13:45:24 +0800
Christopher Meng <cickumqt(a)gmail.com> wrote:
I'm packaging z3 prover from Microsfot Research and its license is
As I never hear of that before, I'd like to request help from list to
see if it's acceptable for Fedora packaging.
IMO non-free, it contains non-commercial use clause