smt-retrying-parent This project contains libraries that can be used to retry an execution until it finishes successfully.