search

blin00 / advent-of-code

The Unlicense
14 stars 2 forks source link

what z3 means? #3

Open aravindh-c opened 1 year ago

blin00 commented 1 year ago

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