[Pharo-users] Re: Constraint solver in Pharo?