I suspect that they've sold a fair few licenses in their time. SMT solvers are widely used in industry, and to my knowledge Z3 is one of the better ones.
It's probably just that the volume of sales isn't going to make sense when comparing to the size of the team.
It's probably just that the volume of sales isn't going to make sense when comparing to the size of the team.