Thanx Stefan for the fix. Since there's some interest in this, I've migrated the code to GitHub and added a baseline. So, Stefan you can add your fix and make a PR :-)
Noury On Nov 6 2020, at 3:58 pm, Stéphane Ducasse <stephane.duca...@inria.fr> wrote: > Hi stephan did you publish the code? > > > On 6 Nov 2020, at 15:12, stephan <step...@stack.nl > > (mailto:step...@stack.nl)> wrote: > > 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 > > -------------------------------------------- > Stéphane Ducasse > http://stephane.ducasse.free.fr / http://www.pharo.org > 03 59 35 87 52 > Assistant: Aurore Dalle > FAX 03 59 57 78 50 > TEL 03 59 35 86 16 > S. Ducasse - Inria > 40, avenue Halley, > Parc Scientifique de la Haute Borne, Bât.A, Park Plaza > Villeneuve d'Ascq 59650 > France > > > > > > > >