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.
Wednesday, March 09, 2022
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment