Any info on how Timeful works or their software stack? It sounds like a constraint engine, which (after a term of Prolog 10 years ago) always pique my interest.