The Z3 Theorem Prover
Why do you think that https://github.com/michaeljgallagher/Advent-of-Code is a good alternative to z3
The Z3 Theorem Prover
Why do you think that https://github.com/michaeljgallagher/Advent-of-Code is a good alternative to z3