And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.
Essa ferramenta, na verdade, foi construída num solucionador implantado frequentemente no mundo todo para verificação de software convencional.