Hi stephan did you publish the code? > On 6 Nov 2020, at 15:12, stephan <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
