Напълно нов съм в Choco и CP, но правя малък модел за решаване на проблема с дървото на Steiner и Choco продължава да принуждава първия възел да бъде верен, каквато и да е графиката (и не е правилен, проверих). Имам масив es от IntVar, който ==1,...

О, добре, благодаря. Така че sh е основната обвивка на всички Linux машини, нали?