sflearn: Library for inferring transducer models of string manipulating programs. - View it on GitHub