A compiler that translates higher level Shakespear (SPL) into brainfuck (brainf**k,b****fuck,bf) functions which outputs into miniSAT.
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.