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. It simply https://westergaard.eu/2013/05/quick-and-dirty-declare-mining/

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.