(me) hey you should play Bombe¹, it seems up your alley
(her) Yeah, I have it. It ships with libz3, and in NixOS, that's the only way I can get a libz3...
(me) --what the fuck--
(her) ... so I now use its copy of libz3 whenever I need Z3.
¹https://store.steampowered.com/app/2262930/Bombe/