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

Replacing BTNGVariable>>#nextValue by nextValue     | nextValue |     self currentValue         ifNotNil: [valuesToExplore remove: self currentValue].     nextValue := self valuesToExplore ifEmpty: [ nil ]                 ifNotEmpty: [self valuesToExplore anyOne].     self currentValue: nextValue.     ^ nextValue returning nil instead of self when there are no more new values makes the tests pass in BackTalkNG-Noury.20.mcz (Pharo 9) That version looks like it is work in progress but has one working solver. Stephan