The best kittens, technology, and video games blog in the world.
A small announcement. Mostly as a way to play with Crystal, I created Crystal bindings for Z3 library, and I think it might be quite usable as a MVP.
Check included examples and specs for how to use it.
No comments:
Post a Comment