Dus: geef IDP een "initial polarity structure" mee. Initiele polariteit van de solver wordt gezet op "de waarde van dat atoom in de meegegeven structuur".
Dit zorgt ervoor dat de solver initieel in de buurt van de voorgestelde bijna-oplossing zoekt (modelrevisie)
Detail: Tseitins kunnen intitieel nog gekozen worden op iets anders dan de "juiste waarde"
mogelijke fix: initiele activity van Tseitins klein beetje kleiner dan van andere dingen...
Dus: geef IDP een "initial polarity structure" mee. Initiele polariteit van de solver wordt gezet op "de waarde van dat atoom in de meegegeven structuur".
Dit zorgt ervoor dat de solver initieel in de buurt van de voorgestelde bijna-oplossing zoekt (modelrevisie)
Detail: Tseitins kunnen intitieel nog gekozen worden op iets anders dan de "juiste waarde" mogelijke fix: initiele activity van Tseitins klein beetje kleiner dan van andere dingen...