Scheduler for Automatic Theorem Prover strategies in Python