Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans

It's time to extend API supported by Crystal Z3, but first we need to deal with all the copypasta in z3/api.cr. It already has so many definitions like this: def mk_power(a, b) LibZ3.mk_power(Context, a, b) end And we really would rather not add 7...