Smalltalk › Pharo › Pharo Smalltalk Users

Re: Constraint solver in Pharo?

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

5 messages Options

Stephan Eggermont-3

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

Stéphane Ducasse

Re: Constraint solver in Pharo?

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

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

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

Noury Bouraqadi-2

Re: Constraint solver in Pharo?

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

--------------------------------------------
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

Stephan Eggermont-3

Re: Constraint solver in Pharo?

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

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

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

Noury Bouraqadi-2

Re: Constraint solver in Pharo?

Thanks Stefan. I've integrated your PR.

On Nov 6 2020, at 6:32 pm, stephan <[hidden email]> wrote:

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

--------------------------------------------
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