blin00/advent-of-code

what z3 means?

Opened this issue · 1 comments

aravindh-c commented
what z3 means?
blin00 commented

z3 is a SMT solver that's useful for solving constraints
see e.g. https://pypi.org/project/z3-solver/, https://github.com/Z3Prover/z3