Skip to content

Choco 3.2.0
Compare
Choose a tag to compare
@cprudhom cprudhom released this 26 Aug 12:31
· 3824 commits to develop since this release
choco-3.2.0
e4000dc
  • Fix #148: update release script
  • Refactoring #149
  • Less Java Genericity:
  • Remove Delta type from Variable
  • Remove Propagator type from Constraints
  • Remove Variable type from views
  • StrategySequencer now created automatically
  • Strong constraints refactoring: A Constraint is defined as a set of propagators which can be reified
  • propagators must all be given to the super constructor
  • Remove IntConstraint
  • Remove many constraint classes
  • Remove isEntailed() from Constraint (isSatisfied does the job)
  • RealConstraint slightly changes
  • Move obsolete code to extra module
  • Associate variables with the solver in AbstractVariable super constructor
  • Unique ObjectiveManager (merge of IntObjectiveManager and RealObjectiveManager)
  • Default implementation of Propagator.getPropagationConditions(int vIdx) which reacts to all kinds of fine event.
  • Fix #146: a new propagation engine is now available which manages coarse propagations
  • Fix #159: avoid stackoverflow using GCC_fast
  • Fix #160: speed up count propagator
  • Fix #161: Propagator: fine_evt and default implementation of propagate(int,int)
  • Fix #162: update filtering algorithm of PropFivXYZ
  • Fix #163: Constraint#isSatisfied() handles stateless propagators
  • Fix #158 fix bug in PropMemberEnum
  • Fix #165: reset AbstractSearchLoop.decision on a call to reset()
  • Fix #152: manage dynamic (temporarily and permanently) addition of constraints
  • Fix #167: ObjectiveManager toString able to handle real values
  • new implementation of Among propagator
  • Fix #176: bug fixed in PropMin/PropMax
  • Fix #175: IMeasure objects can be cloned
  • Fix #182: Set propagators manage ISetDeltaMonitors
  • Fix #183: change release script
  • Fix #177-#179: add a ContradictionException to NoPropagatioEngine to handle with empty domain variables
  • Fix #173: modify default failure message in initial propagation
  • Fix #172: fix retriveXXXvars() + tests
  • Fix #171: define VF.MIN_INT_BOUND and VF.MAX_INT_BOUND
  • Fix #170: update dependencies
  • Fix #95-#186: simplify search strategies and enable tie breaking
  • Fix #187: patch Once
  • Fix #174: a default search strategy is now available, dealing with each type of variables present
  • Fix #189: Added methods to enumerate and store all optimal solutions
  • Fix #190: Entailment of PropBoolChannel
  • Fix #191: Enable dynamic addition of variables during the resolution (cf. Pareto)
  • Start documentation (see user_guide.pdf and http://chocoteam.github.io/choco3/)
  • NogoodFromRestart now trigger propagation fixpoint
  • Fix #192: NogoodFromSolution now available (only for integer variables)
  • Fix #193: VF.enumerated() now copies the input array of values
  • Strong refactoring of IntStrategyFactory (access to variable and value selectors, decision operators, and more simple to understand search names).
  • Stronger AtMostNValue constraint with automatic detection of disequalities
  • Fix #114: Enable to specify a time unit in time limits (ms, s, m or h)
  • Fix #195: fix bug while using IntViews over BoolVar
  • Fix #17: propagator annotations (PropAnn) have been removed
  • Fix #127: a specific view problem remains (new issue opened)
  • Fix #166: remove constants from default search strategy
  • Fix #196: fix view awakening problem
  • Views are now safe
  • Possibility to reformulate views with channeling constraints
  • Catch some particular cases of times in the factory
  • AC guaranteed for times(X,Y,Z) constraint when Y is a constant
  • Add path and subpath constraints, holding on integer variables
  • Add SORT constraint
  • Changes measure, times are now in second
  • Fix#199: some deltamonitors were desynchronized with delta
Assets 6
Loading