[Pharo-users] Constraint solver in Pharo?