Task Scheduler

Libraries and Apps · 2025

Experimental plugin-based auto-scheduler using the Z3 SMT solver to prioritize tasks on a calendar