2 ms·
I wonder who bought the last license, and how long since it now became free to use.
by Drakim 12y ago
I wonder who bought the last license, and how long since it now became free to use.
- CHY872 12y agoI 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.