Skip to content

Instantly share code, notes, and snippets.

View PeterHahlweg's full-sized avatar

PeterHahlweg

View GitHub Profile
@PeterHahlweg
PeterHahlweg / turing.c
Last active February 14, 2021 12:14 — forked from Mr-Slippery/turing.c
Find the Turing machine that will produce a desired string.
#ifdef KLEE
#include <assert.h>
#include <klee/klee.h>
#define PRINTF(...) /* print nothing */
#else
#include <stdio.h>
#define PRINTF(...) printf(__VA_ARGS__)
#endif
#include <stdint.h>