Timeout library for generic interruption of main thread by an exception after a configurable duration.
Primary LanguagePython