Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3

In previous two episodes we figured out how to make Crystal work with Z3 using a low level interface, now it's time to wrap it all in objects. The most important thing is that our objects will NOT map to C types. C has types like Ast, but we want typ...