Interact with is it actually less work than just doing it manually? probably not. but we're doing it anyway
is it actually less work than just doing it manually? probably not. but we're doing it anyway
using smt solvers for logic puzzles
using smt solvers for logic puzzles