A PCP interpreter. May be run with two arguments: a file name containing source code (required) and an input string to check (optional). If dominos is only run with a file name provided, it will enumerate all of the finite strings accepted by the program. Otherwise it will check if the input string is accepted by the program and, if so, will output the sequence of dominos required to construct it. See https://esolangs.org/wiki/Post_Dominos for more information.
A PCP interpreter. May be run with two arguments: a file name containing source code (required) and an input string to check (optional). If dominos is only run with a file name provided, it will enumerate all of the finite strings accepted by the program (excluding strings that are of the form aaaa... where a is some sequence as these can be trivially derived). Otherwise it will check if the input string is accepted by the program and, if so, will output the sequence of dominos required to construct it. See https://esolangs.org/wiki/Post_Dominos for more information.
