What a gold mine!

Automata-based constraints is fun.