Cornel Izbașa Mr-Slippery

I love computing because I believe information is the essential and universal substrate for life in the broadest sense.

Mr-Slippery / taxi.c

Created November 19, 2020 22:06

Finding Ramanujan's taxicab number 1729 with KLEE

	#include <klee/klee.h>
	#include <assert.h>

	#define N (15)

	#define SYM(x) { \
	klee_make_symbolic(&x, sizeof x, #x); \
	}

	int main() {

Mr-Slippery / turing.c

Created February 11, 2021 23:03

Find the Turing machine that will produce a desired string.