Open Source Adventures: Episode 71: Improving Crystal Z3 Shard
While writing various puzzle game solvers in Crystal Z3 I discovered two big issues:
I frequently needed .reduce chains of +/*/and/or with special case for empty arrays
Model#[] returned untyped result (Expr) even though its exact type is statically...
taw.hashnode.dev4 min read