What is the status of the optimization stuff in the unstable branch? · Issue #211 · Z3Prover/z3
Sorry for opening an issue, but I couldn't find any other way to contact the development team (there is a "contact us" link at http://research.microsoft.com/en-us/um/redmond/projects/z3/, but it ju...