finished isSatisfied function in all kinds of constraint;
finished basic communication using socket in agents