I have never used an API that I have wanted to wra...
# announcements
g
I have never used an API that I have wanted to wrap with some kotlin DSL goodness more than the Microsot Z3 solver's java API