beefy/SPL_BF_miniSAT_transpiler

A compiler that translates higher level Shakespear (SPL) into brainfuck (brainf**k,b****fuck,bf) functions which outputs into miniSAT.

Issues

compile Shakespeare into brainfuck
#4 opened 9 years ago by beefy
0
make basic miniSAT functions in brainfuck
#3 opened 9 years ago by beefy
0
compile output from brainfuck into miniSAT
#2 opened 9 years ago by beefy
0
get miniSAT working
#1 opened 9 years ago by beefy
0