How does constraint technology


This paper describes our experience for introducing Constraint Programming in operational systems of THALES. Many of them are on-board and real-time systems. We give the requirements of a technology for developing real-time systems with combinatorial optimization capabilities. We present the constraint technology that has the ability to ful ll most of the… (More)