Articles tagged "Z3"

is it actually less work than just doing it manually? probably not. but we're doing it anyway

using smt solvers for logic puzzles