C-Translation ReSoLVe to C handwritten translation Designed as a first pass attempt at translating the ReSoLVe verification language into C code in a generalized and automatable way.