LTLKit is a tool kit that allow users utilize existing tools by specifying tasks in high-level.