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 […]

Read More… from Quick and Dirty Declare Mining