https://kotlinlang.org logo
g

groostav

10/08/2017, 4:00 AM
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