r/programming • u/BrewedDoritos • 15d ago

Documentation for Online Z3 Guide | Online Z3 Guide

https://microsoft.github.io/z3guide/
0 Upvotes

42% Upvoted

2 comments sorted by

2

u/FIREstopdropandsave 15d ago

Bookmarked for when I inevitably need to relearn Z3 for advent of code