Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion

摘要

An effective scheduler for parallel jobs on a robotic protein analysis system was created with Python, Tailor, and the Minion constraint solver. Tailor's implementation of the expressive Essence' constraint modeling language allowed the use of the powerful Minion solver by non experts. Constructing the model in Python allowed its use in several parts of the software, including generation of the Essence' model used by Minion, visualization of the schedule, and verification of the correct execution of the system.