Introduction to ProcessScheduler
I started a new project 6 months ago to automate the creation of work schedules. The purpose is to compute one (many) schedule(s) from a set of inputs: tasks, resources, and a set of constraints over tasks and resources. This is a well-known issue, but the idea of this new project is to use a SAT/SMT solver to perform the computation, which allows much more expressive constraints than usual linear or nonlinear programming algorithms. ProcessScheduler is a free and open-source python library, hosted at https://github.com/tpaviot/ProcessScheduler. It is still in an early development stage, but there's now enough material to get feedback from the community.
The project does not address specifically the building industry, but I noticed some recent developments at blenderbim on work plans/work schedules. I do believe there might be opportunities on both sides to make our work converge, and let new ideas raise up.
We planned a video call with Dion Moult, for a 30mn introduction/demo. We agreed on next Thursday (May 6), 10am Paris Hour (6pm Sidney hour). I will post later the link to this meeting so that anyone interested can freely join in.