We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global search). We show how it is possible to maintain incrementally the violations of a constraint and its decision variables from an automaton that describes a ground checker for that constraint. We establish the practicality of our a... https://www.roneverhart.com/Nerds-Laffy-Taffy-SweeTarts-Trolli-Halloween-Candy-Assortment-50-Piece-Bag/