3 ms·
off topic but I clicked this immediately because of the research.google.com domain, and I wanted to see what the folks at google are using z3 for, but it's just
by latenightcoding 5y ago
off topic but I clicked this immediately because of the research.google.com domain, and I wanted to see what the folks at google are using z3 for, but it's just a colab notebook
- avibhu 5y agoSame. Was deeply disappointed.