4 ms·
i agree, but z3 is already heavily overloaded: https://en.wikipedia.org/wiki/Z3 https://en.wikipedia.org/wiki/Z3
by account4mypc 6y ago
i agree, but z3 is already heavily overloaded: https://en.wikipedia.org/wiki/Z3 https://en.wikipedia.org/wiki/Z3
- bcaa7f3a8bbc 6y agoAt least don't make it worse. Every time a new program uses the name "Z3", Konrad Zuse rolls in his grave. Using it for a single program shows homage and dedication, using it twice or more is excessive.
- faeyanpiraat 6y agoWhat does Z3 in itself even mean, so that so many people conclude it’s the righ name for their new project? You cannot even register most of the like 5 chars long domain names, who would think 2 chars will be unique?