GitHub repository: JamesHarland/Busy-Beaver
Primary language: Prolog
Created: 2016-05-06T07:21:12Z
Description: My code used for various aspects of the busy beaver problem. The otter branch is for the results described in `Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons)' at http://arxiv.org/abs/1602.03228