Articles in this series
Welcome to my new series! Previously I did Electron Adventures and 100 Languages Speedrun. Now it's time for something a bit less ambitious. I do a...
In the previous episode we got Crystal working with Z3, but it was following low level C API directly. In this episode we'll layer the problem: first...
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...
Our Crystal Z3 is progressing nicely and in this episode we want to reach the point where we can just say solver.assert 2 + Z3::IntSort[:x] == 4. It's...
All right, time to write a Sudoku Solver! I wrote it probably 20 times by now in Ruby, as I did this so many times at unconferences and such, so I got...
I was about to work on specs, but I need to interrupt this for something really interesting. Back in 2019 bcardiff (Brian J. Cardiff) created his own...
