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

Hi stephan did you publish the code?

Hi stephan did you publish the code?

On 6 Nov 2020, at 15:12, stephan <[hidden email]> 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

... [show rest of quote]

--------------------------------------------

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

https://github.com/bouraqadi/BackTalkNG/pull/1

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 [hidden email] wrote:

Hi stephan did you publish the code?

On 6 Nov 2020, at 15:12, stephan <[hidden email]> 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

... [show rest of quote]

--------------------------------------------

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

... [show rest of quote]

 

https://github.com/bouraqadi/BackTalkNG/pull/1

On 06-11-2020 17:34, Noury Bouraqadi wrote:

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 [hidden email] wrote:

Hi stephan did you publish the code?

On 6 Nov 2020, at 15:12, stephan <[hidden email]> 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

... [show rest of quote]

--------------------------------------------

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

... [show rest of quote]

... [show rest of quote]