3 ms·What a gold mine! Automata-based constraints is fun.by reactordev 9mo agoWhat a gold mine! Automata-based constraints is fun.