Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3

In the previous episode we got Crystal working with Z3, but it was following low level C API directly. In this episode we'll layer the problem: first we'll have very low level API that corresponds directly to C functions - following convention I've ...