Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3

There's a lot of minor missing functionality I want before I publish the shard. These aren't really related, but I wanted to do them all. Get version Z3.version should return version number of the Z3 library (not of the Crystal shard). It's a simple ...