4 ms·
Z3 is a marvel. Even if this project is of no interest to a person, Z3 might be. I have intentionally, literally, used z3 data structures to make that transitio
by philzook 2y ago
Z3 is a marvel. Even if this project is of no interest to a person, Z3 might be. I have intentionally, literally, used z3 data structures to make that transition easier should one find something intriguing here over top of what z3 offers.
- nanolith 2y agoI agree, and it's nice to have Python bindings for it.