coffeetree··on Programming the Z3 SMT solverIs this still useful for managed languages? What is a practical use case for this for a Java/python web app?