We needed a bit more information from the Declare miner, so I proposed making a quick and dirty one based on my improved automaton library. This is the result of one afternoon, so it’s not really user-friendly ((It’s just very particular about which users it is friendly to…)) or smart. It simply https://westergaard.eu/2013/05/quick-and-dirty-declare-mining/