3 ms·Much of this uses Z3 under the hood, and Z3 is made of pure wizardry.by sevensor 9y agoMuch of this uses Z3 under the hood, and Z3 is made of pure wizardry.