TBD. This is not yet available other than source distribution, and there is no proper CLI yet. For an explanation of factorios circuit network and combinator mechanics, see also the factorio wiki.

We reduce from 2-Register Minsky Machines. These are a special kind of register machines (or counter machines). These machines are well-studied, very simple and are often modelled in formal proof ...