Tomasz Węgrzanowskitaw.hashnode.dev·Jul 9, 2022Open Source Adventures: Episode 71: Improving Crystal Z3 ShardWhile 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...Open Source AdventurescrystalAdd a thoughtful commentNo comments yetBe the first to start the conversation.