4 ms·Barely a joke, this is literally what using the Python Z3 bindings feels like.by sevensor 1y agoBarely a joke, this is literally what using the Python Z3 bindings feels like.