Skip to content

3.3.1
Compare
Choose a tag to compare
@cprudhom cprudhom released this 11 May 12:27
· 3305 commits to master since this release
choco-3.3.1
10cd32a

3.3.1 - 11 May 2015

Java 7 compliant jars are available in the choco-3.3.1-j7.zip file.

  • Change the default propagation engine (default is now SevenQueuesPropagatorEngine)
  • Add clause_channeling constraint
  • Remove IntVar.wipeOut(...)
  • Enable hot variable addition to propagator
  • Move nogood recording from solution and restart from constraint pkg to monitor +(revamp) + SMF API (#261)
  • Explanations are enabled on initial propagation (#247)
  • Improvement of the solution object (#254)
  • add DBT for explanations
  • Improve explanation engine
  • Add an additional "worldPush" instruction after initial propagation to be coherent with restarts (#55)
  • Remove restarts from ABS (#282)
  • one-shot decision are not reinitialized (#283)
  • Remove Propagation count (#284)
  • Change the default search strategy (#290)
  • Add possibility to complete the declared search strategy (#291)
  • Add new methods to Chatterbox (#292)

Bug fixes: #168, #221, #239, #259, #262, #264, #265, #267, #269, #271, #273, #275, #279, #281, #295

Assets 4
Loading