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.ducasse@inria.fr> wrote:
Hi stephan did you publish the code?
On 6 Nov 2020, at 15:12, stephan <stephan@stack.nl (mailto:stephan@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