Cool, I'll shoot you an e-mail. I'm very interested in the Tea project and potentially contributing to it too. It's the sort of thing that could make every work

Cool, I'll shoot you an e-mail. I'm very interested in the Tea project and potentially contributing to it too. It's the sort of thing that could make every working data scientist noticeably more effective at their jobs. I was thinking about whether it'd be possible to write something like Tea for R, but then I found there is no R package for Z3 nor any other SMT solver! So that would be an extra challenge...