Quick and Dirty Declare Mining
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. The full miner is around […]