4 ms·I love how z3 code looks like magic! Seems like a good library to start getting the hang ofby dreamer_soul 6y agoI love how z3 code looks like magic! Seems like a good library to start getting the hang of