摘要：
主要通过两个类来实现 ViewValuesBrancher 和 valselcommitint,前一个针对min和max, 后一个针对其它情况 void branch(Home home, const IntVarArgs& x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf, IntVa... 阅读全文
摘要：
实际应用中，往往要比官方的示例复杂很多，这里对变量的选择等往往需要以自定义的方式进行选择，这个时候就需要自定义brancher，相关注释在代码中 commit函数在worker中被调用 阅读全文
摘要：
1、定义。 /** * \brief %Choice for performing commit * * Must be refined by inheritance such that the information stored * inside a choice is sufficient to redo a commit performed by a * p... 阅读全文