🗂️ The Vending Automaton

Specify a one-coin machine as states, inputs and outputs, then let a checker try every sequence of presses against three laws.

Getting ready…