On Wednesday, 7 August 2019 11:22:01 UTC+1, Bob Eager wrote:
It's been mentioned here before, but someone did one with pattern
recognition so that "cat" is admitted, but "cat+mouse" is not admitted.
Flo-Control

That was the one.

Someone else has done a more recent one with Muck and Findus

https://lmb.informatik.uni-freiburg....nneber/cvflap/

Owain