Scheduling the CB1000 nanoproteomic analysis system with Python, Tailor, and Minion

Authors:
Andrew Loewenstern
Affiliations:
Andrew Loewenstern Consulting
Venue:
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Year:
2009

Citing 3
Cited 0

Essence: A constraint language for specifying combinatorial problems

Constraints
MINION: A Fast, Scalable, Constraint Solver

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Tailoring solver-independent constraint models: a case study with ESSENCE' and MINION

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.