Remarques sur les révisions

Nom de version : Release 0.9.5.0

Notes

Decomposable Global cost functions  

Journaux

 
2012-07-03 12:34  

	* [r803] CMakeLists.txt: [feature] realase version update 0.9.5

2012-07-03 12:18  

	* [r802] validation/decomposable,
	  validation/decomposable/B1-LU04-dec.wcsp,
	  validation/decomposable/B1-LU04-test.wcsp,
	  validation/decomposable/B16LU04-res.pdf,
	  validation/decomposable/wamong_hard.wcsp,
	  validation/decomposable/wamong_lin.wcsp,
	  validation/decomposable/wamong_quad.wcsp,
	  validation/decomposable/woverlap.wcsp,
	  validation/decomposable/wregular.wcsp,
	  validation/decomposable/wsum_hard.wcsp,
	  validation/decomposable/wsum_lin.wcsp,
	  validation/decomposable/wsum_quad.wcsp: [test] few exemple of
	  decomposable global constraints

2012-07-03 12:16  

	* [r801] src/tb2reader.cpp: [doc] wregular , wsum , wamoung
	  woverlap description

2012-07-03 12:15  

	* [r800] src/tb2wcsp.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp: [code]
	  new api for wsum , wamoung woverlap global constraint

2012-06-26 07:12  

	* [r799] cmake-script/source_files.cmake: [code] add new automaton
	  file in cmake

2012-06-25 16:11  

	* [r798] misc/script/Makefile: [code] add toulbar2test target for
	  libtb2.so validation purposes

2012-06-25 16:04  

	* [r797] src/toulbar2test.cpp: [code] new file toulbar2test
	  
	  purpose: test libtb2.so library calls from a basic main function
	  compile: see Makefile in the misc directory (target toulbar2test)

2012-06-25 15:59  

	* [r796] src/tb2alldiffconstr.cpp, src/tb2alldiffconstr.hpp,
	  src/tb2automaton.cpp, src/tb2automaton.hpp,
	  src/tb2flowbasedconstr.hpp, src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp, src/tb2globalconstr.hpp,
	  src/tb2globaldecomposable.cpp, src/tb2globaldecomposable.hpp,
	  src/tb2haplotype.cpp, src/tb2pedigree.cpp, src/tb2randomgen.cpp,
	  src/tb2regularconstr.cpp, src/tb2regularconstr.hpp,
	  src/tb2sameconstr.cpp, src/tb2sameconstr.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: [code] modify global cost
	  function creators by replacing the input file argument for
	  parameters by an input stream which is compatible with a file or
	  with a string.
	  
	  [bug] convert index into Value (using toValue method) when
	  creating Supxyc / disjucntion cost functions for enumerated
	  variables

2012-06-20 13:18  

	* [r795] cmake-script/source_files.cmake, src/tb2automaton.cpp,
	  src/tb2automaton.hpp, src/tb2globaldecomposable.cpp,
	  src/tb2globaldecomposable.hpp: Adding the Weighted overlap
	  Correcting few displayers bugs
	  Adding a "true" Weighted Finite Automaton class

2012-06-05 16:51  

	* [r794] cmake-script/source_files.cmake: [feature] refactoring of
	  code allowing to add global decomposable cost function, including
	  new constraint : weighteid among , weighted sum global constraint

2012-06-05 16:49  

	* [r793] src/tb2globaldecomposable.cpp,
	  src/tb2globaldecomposable.hpp, src/tb2reader.cpp,
	  src/tb2wcsp.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp: [feature]
	  refactoring of code allowing to add global decomposable cost
	  function, including new constraint : weighteid among , weighted
	  sum global constraint

2012-06-05 14:09  

	* [r792] src/tb2main.cpp: [feature] new option -nopre to
	  desactivate all preprocessing options
	  
	  equivalent to -e: -p: -t: -f: -dec: -h:

2012-06-05 09:26  

	* [r791] src/tb2reader.cpp, src/tb2wcsp.cpp: [code] update
	  listofsuccessors in makeVariable instead of tb2reader for better
	  compatibility with toulbar2 library (accessed by phyton,...)

2012-06-05 09:08  

	* [r790] src/tb2reader.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp:
	  [doc] documentation corrections

2012-05-11 16:14  

	* [r789] src/toulbar2.hpp: [doc] documentation addons

2012-05-09 16:55  

	* [r788] src/tb2clusters.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp:
	  [doc] documentation corrections

2012-05-09 15:38  

	* [r787] src/tb2wcsp.hpp: [code] clean WCSP and Solver interfaces

2012-05-09 14:37  

	* [r786] src/tb2solver.cpp, src/tb2wcsp.hpp: [code] clean WCSP and
	  Solver interfaces

2012-05-09 14:10  

	* [r785] src/tb2wcsp.hpp: [doc] documentation corrections

2012-05-09 14:02  

	* [r784] src/tb2main.cpp: [code] add an interface WeightedCSPSolver
	  to the internal Solver class.

2012-05-09 10:14  

	* [r783] src/ilog/iloglue.cpp: [code] add an interface
	  WeightedCSPSolver to the internal Solver class.

2012-05-09 10:09  

	* [r782] src/tb2clusters.cpp, src/tb2enumvar.cpp,
	  src/tb2intervar.cpp, src/tb2main.cpp, src/tb2reader.cpp,
	  src/tb2solver.cpp, src/tb2solver.hpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp: [code] add an
	  interface WeightedCSPSolver to the internal Solver class.

2012-05-04 14:32  

	* [r781] misc/script/exp_opt.pl, misc/script/make_report.pl: [bug]
	  reporting script correction (useless module depency has been
	  remove)

2012-04-18 14:52  

	* [r780] src/tb2globalcardinalityconstr.cpp: correcting a bug link
	  to the weight of violation measure "dec"

2012-04-12 15:21  

	* [r779] src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp: correction for the gcc bug
	  when all values were not given

2012-04-11 09:59  

	* [r778] src/tb2enumvar.cpp, src/tb2enumvar.hpp, src/tb2main.cpp,
	  src/tb2reader.cpp, src/tb2types.hpp, src/tb2wcsp.cpp: [feature]
	  sort domains based on unary costs *** works only for binary wcsp
	  problem files ***

2012-03-14 15:25  

	* [r777] src/tb2solver.cpp, src/tb2solver.hpp: [feature] avoid too
	  many messages especially new solutions by using a negative
	  verbosity level

2012-03-14 15:09  

	* [r776] src/tb2wcsp.cpp: [doc] avoid too many messages especially
	  new solutions by using a negative verbosity level

2012-03-14 15:03  

	* [r775] src/tb2solver.cpp: [feature] avoid too many messages
	  especially new solutions by using a negative verbosity level

2012-03-14 14:48  

	* [r774] src/tb2btd.cpp, src/tb2enumvar.cpp, src/tb2haplotype.cpp,
	  src/tb2main.cpp, src/tb2pedigree.cpp, src/tb2reader.cpp,
	  src/tb2solver.cpp, src/tb2solver.hpp, src/tb2store.hpp,
	  src/tb2wcsp.cpp: [feature] avoid to many messages especially in
	  BTD-like methods using negative verbosity

2012-03-08 13:01  

	* [r773] src/tb2clusters.cpp, src/tb2solver.cpp: [feature] specific
	  code for QTLmap (check treewidth value and abort if too high)

2012-03-08 11:10  

	* [r772] src/tb2binconstr.hpp, src/tb2enumvar.cpp, src/tb2main.cpp,
	  src/tb2naryconstr.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2wcsp.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp: [feature]
	  allows variable elimination during search for probabilistic
	  inference (option -logz)
	  
	  [feature] simple upper bounding (remove subtree if less than
	  0.001 improvement) scheme for probabilistic inference (option
	  -logz)

2012-02-16 02:02  

	* [r771] CMakeLists.txt, cmake-script/ManageString.cmake,
	  cmake-script/add_make_command.cmake,
	  cmake-script/add_make_report.cmake,
	  cmake-script/cover-test.cmake, cmake-script/test_bench.cmake,
	  misc/script/MatchRegexp.txt, misc/script/exp_opt.pl,
	  misc/script/make_report.pl, misc/script/run_test.pl: [feature]
	  benchmarking : new perl and cmake script for benchmarking
	  management

2012-02-07 15:20  

	* [r770] src/tb2binconstr.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2enumvar.cpp, src/tb2main.cpp,
	  src/tb2naryconstr.hpp, src/tb2solver.cpp,
	  src/tb2ternaryconstr.hpp, src/tb2types.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: [feature] option -t=[integer]
	  max RPC in preprocessing with a given limit in memory space (in
	  MBytes)
	  
	  option -p=[integer]
	  is now compatible with solution retrieval.
	  
	  if using a negative number i (i<=-3) then it automatically
	  selects an elimination bound lower equal to the median degree of
	  the primal graph if this bound is lower than -i otherwise does
	  nothing
	  moreover, a limit in memory space (in MBytes) is enforced.

2012-02-06 13:21  

	* [r769] src/tb2main.cpp, src/tb2solver.cpp: [feature] when giving
	  a solution file as input (*.sol) with additional option -x then
	  the search starts with an initial upper bound given by the
	  solution and value heuristic tries solution values first.

2012-02-06 09:09  

	* [r768] src/tb2main.cpp, src/tb2solver.cpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp: [code] weighted degree heuristic automatically
	  diseable if problem too large

2012-01-30 16:11  

	* [r767] src/tb2reader.cpp: [bug] UAI output file. finally
	  corrected!

2012-01-30 15:42  

	* [r766] src/tb2clusters.cpp, src/tb2clusters.hpp, src/tb2main.cpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.hpp: [bug] UAI output file. corrected.

2012-01-27 17:31  

	* [r765] src/tb2btd.cpp, src/tb2clusters.cpp, src/tb2main.cpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2utils.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: [feature]
	  branch and bound with restart at each solution (option -L=0).
	  Randomized restart (-L>0) in conjunction with LDS only done
	  before LDS.

2012-01-25 17:19  

	* [r764] src/tb2clusters.cpp, src/tb2main.cpp, src/tb2reader.cpp,
	  src/tb2solver.cpp, src/tb2wcsp.cpp: [code] remove trace messages
	  for UAI competition and adapt input/output format

2012-01-25 14:22  

	* [r763] src/tb2solver.cpp, src/tb2vacutils.cpp: [bug] singleton
	  consistency was using wrong maximum domain size constants

2012-01-19 12:40  

	* [r762] src/tb2abstractconstr.hpp, src/tb2constraint.hpp,
	  src/tb2solver.cpp, src/tb2variable.cpp, src/tb2wcsp.cpp: [code]
	  sort constraint lists associated to each variable w. r. t.
	  (reverse) DAC ordering instead of lexicographic

2012-01-15 21:27  

	* [r761] src/tb2enumvar.hpp, src/tb2ternaryconstr.cpp,
	  src/tb2ternaryconstr.hpp: [code] try to speed up ternary local
	  consistency

2012-01-13 19:35  

	* [r760] src/tb2abstractconstr.hpp, src/tb2binconstr.cpp,
	  src/tb2binconstr.hpp, src/tb2constraint.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2vacutils.cpp, src/tb2wcsp.cpp: [code] tentative to speed
	  up code by using functors instead of pointer-to-member functions

2012-01-09 13:01  

	* [r759] src/tb2wcsp.cpp: [bug] DAC berge acyclic: avoid unsigned
	  with decrement

2012-01-09 08:49  

	* [r758] src/tb2reader.cpp, src/tb2wcsp.cpp: [bug] small bug
	  correction (visit first variable too in berge acyclic DAC)

2012-01-06 10:13  

	* [r757] src/tb2main.cpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2types.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: [feature]new
	  cost function wregular

2012-01-06 07:35  

	* [r756] src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp:
	  [feature] detect and exploit ternary functional constraints

2012-01-04 17:10  

	* [r755] src/tb2main.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp, src/tb2wcsp.hpp, src/toulbar2.hpp: [feature] new
	  option -static for using a static variable ordering heuristic
	  (the same as used by DAC)

2012-01-04 15:36  

	* [r754] validation/default/bqp100-1.qpbo,
	  validation/default/haplotype.qpbo: [feature] problem format .qpbo
	  for quadratic pseudo-Boolean optimization (unconstrained
	  quadratic programming) with variable domain {0,1} or {1,-1} and
	  minimization/maximization.

2012-01-04 15:35  

	* [r753] doc/QpboFormat.txt: [doc] problem format .qpbo for
	  quadratic pseudo-Boolean optimization (unconstrained quadratic
	  programming) with variable domain {0,1} or {1,-1} and
	  minimization/maximization.

2012-01-04 15:35  

	* [r752] src/tb2main.cpp, src/tb2reader.cpp: [bug] problem format
	  .qpbo for quadratic pseudo-Boolean optimization (unconstrained
	  quadratic programming) with variable domain {0,1} or {1,-1} and
	  minimization/maximization.

2012-01-03 16:52  

	* [r751] validation/default/haplotype.qpbo: [doc] add qpbo example
	  in validation/default/

2012-01-03 16:51  

	* [r750] src/tb2main.cpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: [bug] problem format .qpbo for
	  quadratic pseudo-Boolean optimization (unconstrained quadratic
	  programming) WITH VARIABLE DOMAIN {1,-1} ONLY!

2012-01-03 16:47  

	* [r749] doc/QpboFormat.txt: qpbo file format description

2011-12-15 16:03  

	* [r748] src/tb2main.cpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2types.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: [feature] new
	  problem format .qpbo for quadratic pseudo-Boolean optimization
	  (unconstrained quadratic programming)

2011-12-14 09:49  

	* [r747] src/tb2solver.cpp: [bug] number of backtracks must not
	  count a node if it can be pruned solely on lb >= ub branch and
	  bound cut.

2011-12-08 10:29  

	* [r746] validation/default/golomb4.cp,
	  validation/default/golomb4.wcsp: [bug] replace alldiff in
	  extension (to slow for WINDOWS gawk!) by global constraint
	  salldiff

2011-12-08 09:18  

	* [r745] misc/script/cp2wcsp_win.awk: [misc] add a new version of
	  cp2wcsp_win.awk to convert cp fomat into wcsp compatible with
	  WINDOWS gawk

2011-12-08 09:15  

	* [r744] src/tb2solver.cpp: prints overall preprocessing time

2011-12-08 07:52  

	* [r743] src/tb2main.cpp, src/tb2solver.cpp, src/tb2system.hpp,
	  src/tb2types.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: [bug] better
	  probability and float expression encapsulation for
	  cross-compilation platform

2011-12-06 10:47  

	* [r742] misc/script/runall.sh: [bug] add correct path to find
	  intermediate scripts

2011-12-06 10:46  

	* [r741] src/tb2solver.cpp: [misc] static variable ordering in
	  comment line

2011-12-06 10:45  

	* [r740] src/tb2ternaryconstr.cpp: [bug] keeps forbidden costs into
	  ternaries to get strong GAC3

2011-11-28 14:11  

	* [r739] src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp: [feature] sigma-gcc added in
	  order to give different cost penalities proportional to (upper or
	  lower) bounds violation.

2011-11-28 14:09  

	* [r738] src/tb2naryconstr.hpp, src/tb2wcsp.cpp: [doc] minor
	  documentation change

2011-11-28 14:07  

	* [r737] src/tb2globalconstr.cpp: weighted degree heuristic enabled
	  for global cost functions

2011-10-25 16:34  

	* [r736] misc/script/runall.awk, misc/script/runall.sh: [misc] run
	  experiments and get more information from the results (max-rpc
	  like)

2011-10-25 11:55  

	* [r735] src/tb2main.cpp: doc: minor correction

2011-10-25 07:12  

	* [r734] src/tb2vac.cpp, src/tb2vacutils.cpp: data structure for
	  VAC on ternary cost functions

2011-10-24 15:50  

	* [r733] src/tb2vac.hpp, src/tb2vacutils.cpp, src/tb2vacutils.hpp:
	  data structure for VAC on ternary cost functions

2011-10-24 15:44  

	* [r732] src/tb2alldiffconstr.cpp, src/tb2reader.cpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2wcsp.cpp, src/tb2wcsp.hpp: better usage of
	  postXXConstraints API in tb2reader.

2011-10-07 15:23  

	* [r731] misc/pixmaps/4queens.gif: remove wrong image

2011-10-07 15:22  

	* [r730] src/tb2ternaryconstr.hpp, src/tb2wcsp.cpp: in
	  preprocessing:
	  performs two-passes of DAC using original order and its reverse
	  (simulates forward/backward algorithm in HMMs)
	  
	  projects & subtracts of ternary cost functions to their three
	  binaries follows DAC ordering better (important because it
	  extends binaries and unaries to each ternary before doing project
	  & subtract).
	  
	  simulates maxRPC by adding a ternary on each triangle and
	  performing ternary project & subtract following DAC order and its
	  reverse order.

2011-10-07 15:16  

	* [r729] src/tb2wcsp.hpp: documentation update for nbNodes

2011-10-03 10:07  

	* [r728] doc/CpWcspFormats.html:

2011-10-03 10:02  

	* [r727] doc/CpWcspFormats.html, doc/CpWcspFormats.txt,
	  doc/ToulBar2.txt: update documentation for cp and wcsp format
	  description.

2011-10-03 08:19  

	* [r726] validation/default/4queens-bis.cp,
	  validation/default/4queens-bis.wcsp: 4 queens example

2011-10-03 08:10  

	* [r725] misc/pixmaps/4queens.gif: 4 queens example

2011-10-03 07:48  

	* [r724] validation/default/4queens-salldiff.cp,
	  validation/default/4queens-salldiff.wcsp,
	  validation/default/4queens.cp, validation/default/4queens.wcsp,
	  validation/default/celar6sub0.cp,
	  validation/default/celar6sub0.wcsp, validation/default/donald.cp,
	  validation/default/donald.wcsp,
	  validation/default/golomb4-salldiff-reverse.cp,
	  validation/default/golomb4-salldiff-reverse.wcsp,
	  validation/default/golomb4-salldiff.cp,
	  validation/default/golomb4-salldiff.wcsp,
	  validation/default/golomb4.cp, validation/default/golomb4.wcsp,
	  validation/default/magic3.cp, validation/default/magic3.wcsp,
	  validation/default/magic4-dec.cp,
	  validation/default/magic4-dec.wcsp, validation/default/magic4.cp,
	  validation/default/magic4.wcsp, validation/default/oconnell.cp,
	  validation/default/oconnell.pre,
	  validation/default/oconnell.wcsp,
	  validation/default/oconnell_bayesnet.cp,
	  validation/default/oconnell_bayesnet.wcsp,
	  validation/default/sudoku.txt, validation/default/sudoku.wcsp,
	  validation/default/warehouse.cp,
	  validation/default/warehouse.wcsp: add many examples in cp format

2011-10-03 07:46  

	* [r723] misc/script/cp2wcsp.awk, misc/script/solution2cp.awk: add
	  examples

2011-09-28 17:05  

	* [r722] misc/script/solution2cp.awk: output correction to allow
	  translation of multiple solutions (see option all solutions in
	  toulbar2)

2011-09-28 17:04  

	* [r721] misc/script/cp2wcsp.awk: cp format extension: allows to
	  express specific wcsp-format cost functions (salldiff, sgcc,
	  sregular, ssame, etc) in intention

2011-09-28 16:57  

	* [r720] src/tb2reader.cpp: wcsp format extension: allows to reuse
	  cost functions in extension (ie their list of tuples and costs)
	  for different scopes

2011-09-20 15:07  

	* [r719] src/tb2reader.cpp, src/tb2wcsp.cpp: arithmetic and
	  disjunctive cost functions added in wcsp format for enumerated
	  variables.

2011-09-20 15:06  

	* [r718] src/tb2constraint.cpp: bug correction: universal,
	  getmincost, ishard do not work for intentional cost functions
	  (first and next should be defined)

2011-09-07 11:21  

	* [r717] src/tb2vac.cpp: indent + VAC comments

2011-09-07 08:24  

	* [r716] misc/script/cp2wcsp.awk, misc/script/solution2cp.awk:
	  update solution2cp to be compatible with toulbar2 output

2011-09-06 16:16  

	* [r715] HowTo.build.Toulbar2: add required package for doc
	  generation

2011-09-06 15:59  

	* [r714] cmake-script/UseDoxygen.cmake: avoid generating latex
	  documentation

2011-09-06 15:56  

	* [r713] Doxyfile.in: extract doc only for commented parts

2011-09-01 17:23  

	* [r712] Doxyfile.in: tabsize = 4

2011-09-01 17:21  

	* [r711] src/tb2constraint.cpp, src/tb2constraint.hpp: in debug
	  mode, check if pairwaise decomposition succeed on cost functions
	  with finite costs

2011-09-01 17:20  

	* [r710] src/tb2enumvar.cpp, src/tb2enumvar.hpp: skip IncDec
	  propagation queue for enumerated variables if no cost functions
	  watch on increase/decrease events.
	  warning! future implementation of new cost functions should take
	  care of this and manage variable watching flags apropriately.

2011-09-01 17:17  

	* [r709] src/tb2arithmetic.hpp, src/tb2main.cpp, src/tb2reader.cpp,
	  src/tb2solver.cpp, src/tb2store.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: WCSP class documentation added
	  (doxygen)

2011-09-01 17:08  

	* [r708] doc/toulbar2.ssd: WCSP class updated

2011-08-22 15:29  

	* [r707] cmake-script/package.cmake: bug correction : in debian
	  package generation

2011-08-16 13:06  

	* [r706] doc/ToulBar2.txt: update options in online tutorial

2011-08-09 15:42  

	* [r705] src/tb2graph.hpp, src/tb2solver.cpp: bad free pointer
	  correction: initialize pointers to NULL at object creation

2011-08-09 15:24  

	* [r704] src/tb2wcsp.cpp: PARTIAL bug correction for BTD-like
	  methods: new cost functions may occur after updating DAC order
	  due to variable elimination, which need to be assigned to a
	  cluster. WARNING DO NOT DUPLICATE COST FUNCTIONS WHEN CHECKING
	  CONSISTENCY OF CLUSTER ASSIGNMENTS INSIDE TERNARY COST FUNCTIONS

2011-08-04 09:51  

	* [r703] cmake-script/ManageString.cmake,
	  cmake-script/cover-test.cmake: add missing cmake script for cover
	  test

2011-07-21 09:42  

	* [r702] CMakeLists.txt, HowTo.build.Toulbar2,
	  cmake-script/test.cmake, cover, cover/10_1.bep,
	  cover/CELAR6-SUB0.mcs.order, cover/CELAR6-SUB0.sol,
	  cover/CELAR6-SUB0.ub, cover/CELAR6-SUB0.wcsp,
	  cover/CELAR6-SUB1.ub, cover/CELAR6-SUB1.wcsp,
	  cover/CELAR7-SUB0.wcsp, cover/cover-option.cmake,
	  cover/pedigree1.wcsp, cover/test-opt.cmake, cover/zebra.wcsp,
	  cover/zebre-ext.wcsp: cover test adding

2011-05-13 13:24  

	* [r701] HowTo.build.Toulbar2: Doc: Howto use cmake with eclipse

2011-05-10 10:01  

	* [r700] cmake-script/test.cmake,
	  validation/default/test-opt.cmake,
	  validation/enum/test-opt.cmake: BUG:misc errors fixed in test
	  generation

2011-04-21 15:19  

	* [r699] src/tb2reader.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp, src/toulbar2.hpp: option logz: DFBB compute
	  log(Z)

2011-04-19 14:27  

	* [r698] src/xmlcsp/xmlcsp.h: bug fix: xml reader if having
	  multiple unary constraints

2011-04-15 16:59  

	* [r697] src/tb2main.cpp, src/tb2naryconstr.cpp,
	  src/tb2naryconstr.hpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2types.hpp, src/tb2utils.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp: new option : -logz
	  compute log10 of probability of evidence (i.e. log10 of partition
	  function or log10(Z)) for graphical models only (problem
	  extension format is *.uai)

2011-04-15 16:20  

	* [r696] src/tb2clusters.cpp: BTD: if no order file then use
	  default problem file order

2011-04-15 16:05  

	* [r695] src/tb2wcsp.cpp: change reverse elim order in case no
	  order file for BTD

2011-04-15 15:19  

	* [r694] misc/script/rungenerate.sh: start with very small random
	  problems

2011-04-15 15:18  

	* [r693] misc/script/rungenerateBTD.sh: correction option syntax.

2011-04-15 08:32  

	* [r692] src/tb2bep.cpp, src/tb2boostgraph.cpp,
	  src/tb2clusters.cpp, src/tb2main.cpp, src/tb2naryconstr.cpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2types.hpp, src/tb2variable.cpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: bug correction: do not reorder
	  variable indexes (otherwise partial assignment like entering
	  evidence may use wrong indexes). instead update DAC order in
	  sortconstraints if needed and apply general variable elimination
	  with the given elim order if available.
	  
	  new option: -var
	  perform branching only on the first -the given value- decision
	  variables, assuming the remaining variables are intermediate
	  variables completely assigned by the decision variables (use a
	  zero if all variables are decision variables)

2011-03-24 16:28  

	* [r691] src/tb2enumvar.cpp, src/tb2main.cpp, src/tb2variable.cpp:
	  bug correction:
	  - cannot perform generic variable elimination if there are global
	  cost functions
	  - cannot fast eliminate a variable if it has a global cost
	  function (even of arity 3 or 2!)

2011-03-04 16:00  

	* [r690] src/tb2enumvar.cpp, src/tb2enumvar.hpp,
	  src/tb2intervar.cpp, src/tb2intervar.hpp, src/tb2solver.cpp,
	  src/tb2types.hpp, src/tb2variable.hpp, src/tb2wcsp.hpp,
	  src/toulbar2.hpp: new assignLS operator in toulbar2.hpp for local
	  search

2011-03-04 15:59  

	* [r689] src/tb2wcsp.cpp: reformat code.
	  bug correction: propagate always after empty+decompose

2011-03-04 15:57  

	* [r688] src/tb2randomgen.cpp, src/tb2reader.cpp: rename postNary
	  functions

2011-03-04 15:56  

	* [r687] src/tb2naryconstr.cpp: rename postNary functions

2011-03-04 15:56  

	* [r686] src/tb2main.cpp: correct english

2011-03-04 15:52  

	* [r685] src/xmlcsp/xmlcsp.h: rename postNary functions

2011-03-03 11:05  

	* [r684] src/tb2store.hpp: add more comments

2011-03-03 10:47  

	* [r683] src/tb2ternaryconstr.cpp: change EDAC3 to move xy and xz
	  before yz. contradict DAC order but favorize sharing between cost
	  functions.

2011-03-03 10:45  

	* [r682] src/tb2constraint.cpp, src/tb2integer.hpp,
	  src/tb2main.cpp, src/tb2types.hpp: add more comments

2011-03-03 10:44  

	* [r681] src/tb2binconstr.hpp: add more assert to follow all cost
	  moves

2011-03-03 10:44  

	* [r680] src/tb2wcsp.hpp: add getter to maxdomainsize

2011-03-03 10:43  

	* [r679] src/tb2binconstr.cpp, src/tb2vacutils.cpp: add getter to
	  maxdomainsize

2011-02-09 13:14  

	* [r678] src/tb2solver.cpp: clean: add static limit on decision
	  variable in comment

2011-01-31 11:03  

	* [r673] CMakeLists.txt: releasei tag:0.9.4

2011-01-27 15:18  

	* [r672] validation/default/cap131.wcsp,
	  validation/default/zebra.wcsp: new wcsp examples

2011-01-27 15:14  

	* [r671] src/tb2main.cpp: add pairwise decomposition help message

2011-01-27 15:14  

	* [r670] src/tb2wcsp.cpp: new default options:
	  - preproject ternary on binary cost functions
	  - eliminate bi-functional (bijective) variables
	  - pairwise decomposition of cost functions

2011-01-27 15:12  

	* [r669] src/tb2main.cpp: clean help messages

2011-01-27 15:10  

	* [r668] misc/script/Makefile: update makefile

2011-01-27 15:06  

	* [r667] misc/script/cp2wcsp.awk, misc/script/libcp.awk,
	  misc/script/solution2cp.awk: converter for *.cp format to *.wcsp

2011-01-27 15:04  

	* [r666] misc/script/rungenerate.sh: automatic problem tests

2011-01-27 15:02  

	* [r665] doc/WcnfFormat.txt: bad file

2011-01-27 15:02  

	* [r664] doc/CpWcspFormats.html, doc/CpWcspFormats.txt,
	  doc/UAI08Format.txt, doc/WcnfFormat.txt, doc/WcnfFormats.txt:
	  file format description

2011-01-27 14:50  

	* [r663] doc/ToulBar2.txt: version 0.9.4

2011-01-13 18:13  

	* [r662] src/tb2naryconstr.cpp, src/tb2ternaryconstr.hpp:
	  preproject follows an order compatible with DAC variable ordering

2011-01-13 18:13  

	* [r661] src/tb2ternaryconstr.cpp: bug correction when using
	  first() in separate ternary cost function

2011-01-11 22:29  

	* [r660] src/tb2ternaryconstr.cpp: preproject without substracting
	  top is commented

2011-01-11 22:27  

	* [r659] src/tb2naryconstr.cpp: initialize existXZ and existYZ

2011-01-11 17:01  

	* [r658] src/tb2naryconstr.cpp: bug correction in separate (bad
	  variable indexes)

2011-01-11 15:48  

	* [r657] src/tb2abstractconstr.hpp, src/tb2ternaryconstr.hpp,
	  src/tb2wcsp.hpp: bug correction in wcspIndex value for
	  elimBinConstr (can be zero), wcsp.getCtr corrected accordingly

2011-01-11 14:12  

	* [r656] src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp: bug
	  correction in ternary cost function decomposition.

2011-01-11 14:11  

	* [r655] src/tb2wcsp.cpp: avoid testing cost function decomposition
	  on ternary cost function if option -dec not specified

2011-01-11 10:48  

	* [r654] src/tb2constraint.cpp: avoid testing cost function
	  decomposition on CNF clauses

2011-01-11 10:29  

	* [r653] src/tb2reader.cpp: reduce initial upperbound for UAI-08
	  reader in order to avoid integer overflow problems

2011-01-11 10:10  

	* [r652] src/tb2naryconstr.cpp: remove malloc in separate function

2011-01-11 10:09  

	* [r651] src/tb2reader.cpp: reduce initial upperbound for UAI-08
	  reader in order to avoid integer overflow problems

2011-01-10 16:56  

	* [r650] src/tb2constraint.cpp, src/tb2constraint.hpp,
	  src/tb2main.cpp, src/tb2naryconstr.cpp, src/tb2naryconstr.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2types.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: new
	  preprocessing function: decompose cost functions into smaller
	  arity cost functions if feasible (option -dec)

2011-01-06 16:18  

	* [r649] src/tb2naryconstr.cpp: bug correction in project out one
	  variable from an n-ary function (corrupted tuple iterator).
	  
	  preproject with random order if code uncommented.

2011-01-06 16:15  

	* [r648] src/tb2wcsp.cpp: bug correction in project out one
	  variable from an 5-ary function with only 4 unassigned variables.
	  
	  bug correction in getting constraints after posting them: use
	  getCtr!

2011-01-06 16:13  

	* [r647] src/tb2reader.cpp: remove IC0 if no n-ary preproject (-h:)

2011-01-06 16:12  

	* [r646] src/tb2integer.hpp: change double to Double in BigInteger
	  conversions

2011-01-06 16:11  

	* [r645] src/tb2haplotype.cpp, src/tb2haplotype.hpp: change double
	  to Double in half-sib haplotyping

2011-01-06 16:10  

	* [r644] src/tb2alldiffconstr.cpp, src/tb2alldiffconstr.hpp,
	  src/tb2flowbasedconstr.hpp, src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp, src/tb2globalconstr.cpp,
	  src/tb2globalconstr.hpp, src/tb2graph.cpp,
	  src/tb2regularconstr.cpp, src/tb2regularconstr.hpp,
	  src/tb2sameconstr.cpp, src/tb2sameconstr.hpp: change char to Char
	  (and string to String) in globalconstraints in order to deal with
	  large domains

2011-01-05 17:58  

	* [r643] src/tb2graph.hpp: change int to Cost in globalconstraints

2011-01-05 17:57  

	* [r642] src/tb2flowbasedconstr.cpp: change int to Cost in
	  globalconstraints

2011-01-05 17:57  

	* [r641] src/tb2globalconstr.cpp: change int to Cost in
	  globalconstraints

2011-01-05 17:56  

	* [r640] src/tb2alldiffconstr.cpp: change int to Cost in
	  globalconstraints

2011-01-05 17:56  

	* [r639] src/tb2constraint.cpp: bug correction in general var
	  elimination for nary with non zero default cost versus
	  binary/ternary cost functions

2011-01-05 17:54  

	* [r638] src/tb2constraint.hpp: move function setDefCost from
	  Constraint class to NaryConstraint

2011-01-05 17:53  

	* [r637] src/tb2naryconstr.hpp: move function setDefCost from
	  Constraint class to NaryConstraint

2011-01-05 17:53  

	* [r636] src/tb2regularconstr.cpp: change int to Cost in
	  globalconstraints

2011-01-05 17:51  

	* [r635] src/tb2solver.cpp: add explicit type conversion.

2011-01-05 17:47  

	* [r634] src/tb2vacutils.cpp: change type of timestamp from long to
	  Long.
	  bug correction in minsumdiffusion for nary with non zero default
	  cost

2011-01-05 17:45  

	* [r633] src/tb2vacutils.hpp: change type of timestamp from long to
	  Long

2011-01-05 17:45  

	* [r632] src/tb2wcsp.cpp: bug correction in NC (k=0) with large
	  costs

2011-01-05 13:54  

	* [r631] src/tb2constraint.cpp: bug correction in preprocessing
	  general variable elimination.

2011-01-04 17:51  

	* [r630] misc/script/runall.sh, misc/script/rungenerateBTD.sh:
	  change script according to new option syntax

2011-01-04 17:49  

	* [r629] src/tb2wcsp.cpp: bug introduced in version 627:
	  small-degree var elim was not done in preprocessing even if
	  option -e was set

2011-01-04 15:13  

	* [r628] src/tb2main.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp: option -f of functional/bijective variable
	  elimination (f=2: bijection only)

2010-12-09 14:43  

	* [r627] src/tb2ternaryconstr.hpp, src/tb2wcsp.cpp: preprocessing
	  of cost functions:
	  - move ternary cost function preprocess after variable
	  elimination
	  - allows general variable elimination during all preprocessing
	  phase

2010-12-09 14:37  

	* [r626] src/tb2main.cpp: add a random seed initialization option
	  -seed

2010-12-08 11:44  

	* [r625] src/tb2wcsp.cpp, src/tb2wcsp.hpp: small bug in
	  printNCbucket corrected.
	  
	  min-sum-diffusion applied before cost function decomposition

2010-11-29 13:51  

	* [r624] src/tb2enumvar.cpp, src/tb2main.cpp, src/tb2wcsp.cpp:
	  restore solutions after eliminating functional variables

2010-11-29 08:21  

	* [r623] src/tb2types.hpp: enlarge maximum allowed nb of vars to 1
	  billion

2010-11-28 21:39  

	* [r622] src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2enumvar.cpp, src/tb2enumvar.hpp, src/tb2main.cpp,
	  src/tb2wcsp.cpp: new option -f : eliminate functional variables

2010-11-28 21:37  

	* [r621] src/tb2abstractconstr.hpp, src/tb2types.hpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: bug correction in constraint
	  wcspIndex : can be negative in order to specify extra
	  (elimBin/elimTern) constraint datastructure location

2010-11-28 21:33  

	* [r620] src/tb2solver.cpp: show initial lower and upper bounds

2010-11-28 21:31  

	* [r619] src/tb2constraint.hpp: add comment on
	  constraint.deconnect(true)

2010-11-24 14:49  

	* [r618] src/tb2main.cpp, src/tb2types.hpp: remove unused var

2010-11-24 14:45  

	* [r617] src/tb2main.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp: disable weighted degree heuristic if too many
	  cost functions (current implementation becomes too slow!)

2010-11-24 14:41  

	* [r616] src/tb2vac.cpp: remove unnecessary factor dump in min-sum
	  diffusion

2010-11-24 14:41  

	* [r615] src/tb2reader.cpp: remove compile warning

2010-11-23 10:53  

	* [r614] src/tb2wcsp.cpp: remove unused ToulBar2 field
	  InstanceBaseName.

2010-11-23 10:52  

	* [r613] src/tb2solver.cpp: adaptative randomized restart strategy
	  : large increase in number of nodes if LDS is used also, or Luby
	  (small) increase strategy if not.

2010-11-23 10:44  

	* [r612] src/tb2solver.cpp: current randomized restart strategy is
	  rather slow in increasing number of nodes contract to be
	  compatible with LDS.

2010-11-23 10:39  

	* [r611] src/tb2wcsp.cpp: in preprocessing, avoid trying to
	  preproject clauses on smaller arity cost functions (n-ary cost
	  functions with only one non-zero cost)

2010-11-15 16:53  

	* [r610] src/tb2main.cpp, src/tb2types.hpp, src/tb2wcsp.cpp: -z <=>
	  dump option of the current probleme and also graphviz dot file
	  and degree distribution (-z=1 => orginal problem ; -z=2=> after
	  preprocessing )

2010-11-10 22:58  

	* [r609] src/tb2enumvar.cpp: speedup EDAC variable partitionning
	  for dealing with global constraints

2010-11-10 22:57  

	* [r608] validation/default/ssa0432-003.cnf:

2010-11-10 22:56  

	* [r607] src/tb2reader.cpp, src/tb2types.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp: wmaxsat reader

2010-11-10 22:54  

	* [r606] src/tb2main.cpp: wmaxsat reader

2010-10-22 14:51  

	* [r605] src/tb2vacutils.cpp: min sum diffusion extended to n-ary
	  cost functions

2010-10-18 09:04  

	* [r604] src/tb2vac.cpp, src/tb2vacutils.cpp: min sum diffusion
	  extended to ternary cost functions

2010-10-18 09:02  

	* [r603] src/tb2ternaryconstr.hpp: new assert to check validity of
	  ternary cost updates

2010-10-14 07:56  

	* [r602] validation/enum/base2.opt: new toulbar2 option flag syntax

2010-10-14 07:56  

	* [r601] validation/enum/latin0.enum, validation/enum/latin0.opt,
	  validation/enum/latin0.ub, validation/enum/latin0.wcsp: counting
	  solution with global constraints => #BTD disabled

2010-10-14 07:54  

	* [r600] src/tb2main.cpp: BTD-like methods are incompatible with
	  global constraints
	  counting solutions with #BTD implies initial upper bound = 1

2010-10-14 07:51  

	* [r599] src/tb2wcsp.hpp, src/toulbar2.hpp: special function to
	  test if there are global constraints

2010-10-14 07:50  

	* [r598] src/tb2wcsp.cpp: free memory if needed (except last
	  constraint in ~WCSP() !)

2010-10-14 07:49  

	* [r597] src/tb2variable.cpp: increase lb before increasing cluster
	  lb (avoid bad cluster init for #BTD)

2010-10-14 07:47  

	* [r596] src/tb2solver.cpp: free memory (except last constraint in
	  ~WCSP() !)
	  check if no constraint to speed up #BTD

2010-10-14 07:43  

	* [r595] src/tb2clusters.cpp: #BTD approx tree dec timing output
	  corrected

2010-10-01 15:44  

	* [r594] Build_package.sh: add script for building all package

2010-09-30 11:22  

	* [r593] src/SimpleGlob.h, src/SimpleOpt.h, src/tb2clusters.cpp,
	  src/tb2main.cpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2system.hpp: bug correction for mingw32 compilation #define
	  modification

2010-09-13 15:17  

	* [r592] src/tb2constraint.cpp: minor bug correction: do not
	  register cost move if it is a CSP

2010-09-13 15:17  

	* [r591] src/tb2globalconstr.cpp: minor bug correction: do not
	  register cost move if it is a CSP

2010-09-13 15:17  

	* [r590] src/tb2graph.cpp: minor bug correction: do not register
	  cost move if it is a CSP

2010-09-13 15:16  

	* [r589] src/tb2clusters.cpp: minor bug correction: check order
	  file in solution counting method

2010-08-27 14:59  

	* [r588] validation/default/latin.wcsp: fix original latin example

2010-08-27 14:48  

	* [r587] src/tb2main.cpp: bug correction in initialization of
	  upperbound. also prepoject reduce from 20 to 10 by default.

2010-08-27 14:42  

	* [r586] src/tb2solver.cpp: show initial upperbound

2010-08-27 14:37  

	* [r585] src/tb2enumvar.cpp: bug correction in EDGAC*

2010-08-27 14:05  

	* [r584] src/tb2wcsp.cpp: preproject cost function of arity < 10 by
	  default

2010-08-27 14:01  

	* [r583] cmake-script/source_files.cmake: add soft global
	  constraints

2010-08-09 07:38  

	* [r577] cmake-script/source_files.cmake: global cost functions
	  inclusion delayed

2010-08-09 07:30  

	* [r576] src/tb2clusters.cpp, src/tb2system.hpp: bug in printing
	  solution for pedigree and haplotype using BTD.
	  change API of string2cost addding const char

2010-08-09 07:23  

	* [r575] misc/script/runall.sh, misc/script/rungenerateBTD.sh:
	  automatic test scripts

2010-08-05 17:11  

	* [r574] Copyright.txt, HowTo.build.Toulbar2, ReadMe.txt: New
	  reference to author contrib and related paper

2010-08-05 17:00  

	* [r573] CMakeLists.txt, cmake-script/source_files.cmake,
	  cmake-script/test.cmake, src/SimpleGlob.h, src/SimpleOpt.h,
	  src/tb2alldiffconstr.cpp, src/tb2alldiffconstr.hpp,
	  src/tb2binconstr.hpp, src/tb2constraint.hpp,
	  src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp, src/tb2globalconstr.cpp,
	  src/tb2globalconstr.hpp, src/tb2graph.cpp, src/tb2main.cpp,
	  src/tb2naryconstr.hpp, src/tb2pedigree.cpp, src/tb2reader.cpp,
	  src/tb2regularconstr.cpp, src/tb2regularconstr.hpp,
	  src/tb2sameconstr.cpp, src/tb2sameconstr.hpp,
	  src/tb2ternaryconstr.hpp, src/tb2wcsp.cpp,
	  validation/default/10_1.bep,
	  validation/default/8wqueens_wcsp.xml,
	  validation/default/haplo_1500mrk.map,
	  validation/default/haplo_4indiv_1500mrk.pre,
	  validation/default/latin.wcsp, validation/default/network.uai,
	  validation/default/network.uai.evid,
	  validation/default/simple.pre, validation/default/test-opt.cmake,
	  validation/enum/test-opt.cmake: New Releas number 0.9.3
	  Merge from Branches/simpleopt r571:
	  - command line has been rewrite,
	  - new example added and
	  - few warning fixed on global constraint

2010-08-05 15:30  

	* [r570] CMakeLists.txt: Update release number from 0.9.1.2 to
	  0.9.2.0

2010-07-02 15:30  

	* [r536] src/tb2abstractconstr.hpp: Global cost functions are nary
	  cost functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:29  

	* [r535] src/tb2constraint.hpp: setCostProvidingPartitionrelate
	  functions for global cost functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:27  

	* [r534] src/tb2enumvar.cpp: setCostProvidingPartition function for
	  global cost functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:26  

	* [r533] src/tb2enumvar.hpp: setCostProvidingPartition function for
	  global cost functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:25  

	* [r532] src/tb2main.cpp: Global constraint consistency level
	  advertised
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:24  

	* [r531] src/tb2reader.cpp: Reading and posting global cost
	  functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:22  

	* [r530] src/tb2wcsp.cpp: Post and propagate global cost functions
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:20  

	* [r529] src/tb2wcsp.hpp: Global constraints: new constraints, list
	  and posting method
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:18  

	* [r528] src/tb2types.hpp: New SNIC level for Strong 0 inv.
	  consistency
	  Global cost functions sources contributed by Mario
	  (klleung@cse.cuhk.edu.hk)

2010-07-02 15:15  

	* [r527] cmake-script/source_files.cmake: Global cost functions
	  sources contributed by Mario (klleung@cse.cuhk.edu.hk)

2010-07-02 15:15  

	* [r526] src/tb2alldiffconstr.cpp, src/tb2alldiffconstr.hpp,
	  src/tb2flowbasedconstr.cpp, src/tb2flowbasedconstr.hpp,
	  src/tb2globalcardinalityconstr.cpp,
	  src/tb2globalcardinalityconstr.hpp, src/tb2globalconstr.cpp,
	  src/tb2globalconstr.hpp, src/tb2graph.cpp, src/tb2graph.hpp,
	  src/tb2regularconstr.cpp, src/tb2regularconstr.hpp,
	  src/tb2sameconstr.cpp, src/tb2sameconstr.hpp: Global cost
	  functions sources contributed by Mario (klleung@cse.cuhk.edu.hk)

2010-07-02 13:46  

	* [r525] src/tb2reader.cpp: Cost functions/constraints

2010-06-23 16:44  

	* [r514] src/tb2binconstr.hpp, src/tb2solver.cpp, src/tb2wcsp.cpp:
	  wrong assert in nary projection corrected. enforce NC after
	  restart.

2010-06-17 17:32  

	* [r485] misc/script/Makefile: more debug flags

2010-06-17 17:31  

	* [r484] cmake-script/source_files.cmake: haplotype reconstruction
	  files

2010-06-17 15:54  

	* [r483] cmake-script/source_files.cmake: tb2haplotype.cpp and
	  tb2haplotype.hpp added in cmake script

2010-06-17 14:59  

	* [r482] src/tb2clusters.cpp, src/tb2haplotype.cpp,
	  src/tb2haplotype.hpp, src/tb2main.cpp, src/tb2pedigree.cpp,
	  src/tb2pedigree.hpp, src/tb2reader.cpp, src/tb2solver.cpp,
	  src/tb2types.hpp, src/tb2wcsp.cpp: Haplotype inference in
	  half-sib families

2010-06-17 14:58  

	* [r481] doc/HaplotypeHalfSib.txt: haplotype reconstruction in
	  half-sib families

2010-06-17 12:09  

	* [r475] src/tb2main.cpp: warning message: cannot perform
	  randomized search and BTD

2010-06-17 12:03  

	* [r474] src/tb2clusters.cpp, src/tb2main.cpp, src/tb2reader.cpp:
	  minor change in help message

2010-06-16 15:34  

	* [r472] src/tb2clusters.cpp, src/tb2clusters.hpp, src/tb2main.cpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2system.hpp, src/toulbar2.hpp: new option x for reading a
	  solution from a file OR a partial assignment from the command
	  line

2010-06-16 15:33  

	* [r471] src/tb2enumvar.cpp, src/tb2intervar.cpp, src/tb2types.hpp:
	  c++ iso warning correction: encapsulate THROWCONTRADICTION by
	  accolades {}

2010-06-16 15:32  

	* [r470] src/tb2wcsp.hpp: bug correction in tb2wcsp.cpp: last
	  constraint may be not completly allocated => do not delete it
	  twice!

2010-06-16 15:31  

	* [r469] src/tb2naryconstr.cpp, src/tb2naryconstr.hpp,
	  src/tb2wcsp.cpp: bug correction in preproject n-ary.

2010-06-14 07:44  

	* [r468] src/tb2main.cpp: hidden feature for CSP counting with DFBB
	  and restricted search depth

2010-06-14 07:44  

	* [r467] src/tb2reader.cpp: print maximum arity of cost functions
	  after reading problem

2010-06-14 07:43  

	* [r466] src/tb2naryconstr.cpp: bug correction on preproject n-ary
	  constraints

2010-06-14 06:38  

	* [r465] src/tb2main.cpp, src/tb2solver.cpp, src/tb2solver.hpp:
	  Hidden option in counting with DFBB: do not count after a given
	  search-depth limit given as parameter of option 'a'.

2010-04-27 09:54  

	* [r464] CMakeLists.txt: MAC 64 compil option added

2010-04-14 07:30  

	* [r463] src/tb2naryconstr.cpp: Option h : preproject may induce
	  deconnection and preproject should stop.

2010-04-07 15:05  

	* [r462] src/tb2naryconstr.cpp, src/tb2wcsp.cpp: bug correction in
	  projectxyz for nary constraints (option h iwas buggy).

2010-03-31 15:32  

	* [r461] src/tb2main.cpp: allows evidence/map file followed by an
	  initial upperbound

2010-03-31 14:44  

	* [r460] src/tb2boostgraph.cpp, src/tb2enumvar.cpp,
	  src/tb2main.cpp, src/tb2types.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp: new option h for preproject n-ary on all binary
	  (and some ternary) cost functions.

2010-03-26 09:37  

	* [r459] src/tb2main.cpp, src/tb2solver.cpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp: Partial search followed by complete search
	  method if using options L (randomized search with restart) and l
	  (limited discrepancy search).

2010-03-24 18:16  

	* [r458] src/tb2btd.cpp, src/tb2clusters.cpp, src/tb2main.cpp,
	  src/tb2solver.cpp, src/tb2solver.hpp, src/tb2types.hpp,
	  src/tb2wcsp.cpp: New option L for randomized search with
	  restarts.

2010-03-22 09:15  

	* [r457] src/tb2main.cpp: cpu time now includes local search and
	  loading the problem.

2010-03-19 16:10  

	* [r456] src/tb2binconstr.cpp, src/tb2naryconstr.cpp,
	  src/tb2ternaryconstr.cpp, src/tb2wcsp.cpp: when saving current
	  problem after preprocessing, use Top to limit maximum cost value.

2010-03-19 15:30  

	* [r455] src/tb2arithmetic.cpp, src/tb2arithmetic.hpp,
	  src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2constraint.hpp, src/tb2domain.hpp, src/tb2enumvar.hpp,
	  src/tb2main.cpp, src/tb2naryconstr.cpp, src/tb2naryconstr.hpp,
	  src/tb2solver.cpp, src/tb2solver.hpp, src/tb2ternaryconstr.cpp,
	  src/tb2ternaryconstr.hpp, src/tb2types.hpp, src/tb2variable.cpp,
	  src/tb2variable.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp,
	  src/toulbar2.hpp: allows to save problem in wcsp format after
	  preprocessing (option "zz").

2010-03-18 09:09  

	* [r454] CMakeLists.txt: -XML option is now a main option
	  -release change from 0.9.1.1 to 0.9.1.2

2010-03-17 17:51  

	* [r453] src/tb2reader.cpp:

2010-03-17 17:48  

	* [r452] src/tb2main.cpp: weighted degree heuristic is the default
	  option

2010-03-17 15:58  

	* [r451] src/tb2abstractconstr.hpp, src/tb2binconstr.hpp,
	  src/tb2clusters.cpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2enumvar.cpp, src/tb2naryconstr.cpp,
	  src/tb2naryconstr.hpp, src/tb2solver.cpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2variable.cpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp: weighted
	  degree heuristic takes into account origin of derived cost
	  functions and uses a specific weight per variable in nary cost
	  functions.

2010-03-04 16:23  

	* [r450] src/tb2reader.cpp: A zero arity cost function may have one
	  tuple (the empty one)

2010-02-23 16:58  

	* [r449] src/tb2main.cpp: new option X[integer] : merge cluster
	  with its father if number of proper variables below the
	  threshold.

2010-02-23 16:18  

	* [r448] misc/script/rungenerateBTD.sh: test file for BTD-like
	  methods now exploits an MCS tree decomposition.

2010-02-23 15:59  

	* [r447] src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2naryconstr.cpp, src/tb2ternaryconstr.cpp,
	  src/tb2ternaryconstr.hpp: bug correction in BTD-like methods:
	  projection from nary to ternary implies adding costs to existing
	  ternary: ternary addCosts cannot take into account local ub
	  without deltaCosts in order to avoid modifying costs table.

2010-02-23 08:54  

	* [r446] src/tb2btd.cpp, src/tb2clusters.cpp, src/tb2solver.cpp,
	  src/tb2wcsp.cpp: bug correction in BTD-like methods due to
	  propagation after building a tree decomposition (DAC reordering
	  following the tree decomposition) but before search (where it is
	  assumed local cluster lower bounds are zero) (this bug was only
	  in toulbar2 version >= 0.9)

2010-02-12 18:11  

	* [r445] src/tb2btd.cpp, src/tb2clusters.cpp, src/tb2clusters.hpp,
	  src/tb2main.cpp, src/tb2types.hpp, src/tb2wcsp.cpp: new option
	  'X[Number]' for BTD-like methods : merge cluster with its father
	  if the number of proper variables is less than a threshold.

2010-02-12 09:24  

	* [r444] src/tb2clusters.cpp: bug correction due to wrong assert.

2010-02-11 14:46  

	* [r443] src/tb2binconstr.cpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2enumvar.cpp, src/tb2main.cpp,
	  src/tb2naryconstr.cpp, src/tb2ternaryconstr.cpp, src/tb2wcsp.hpp:
	  bug correction on very large n-ary cost fucntions (cartesian
	  domain product can overflow)

2010-02-10 14:27  

	* [r442] CMakeLists.txt: bad macro name (INT_COST) for win32.

2010-02-05 16:45  

	* [r441] src/tb2vacutils.cpp: minor bug correction on maxK
	  statistics.

2010-02-04 09:11  

	* [r440] HowTo.build.Toulbar2: comment on mac os X procedure
	  uniformitation of the path in the given examples

2010-02-03 09:28  

	* [r439] src/tb2vacutils.cpp: Introduction of CF based thresholds.
	  Corresponding isnull/getVACCost() modifications at the binary CF
	  level

2010-02-03 09:26  

	* [r438] src/tb2vac.cpp: Bottleneck detection in Pass2 (bneckvar,
	  bneckcf). Pass<" simplified (increaases local CF/var threshold).

2010-02-03 08:27  

	* [r437] src/tb2vac.hpp: Addition of members for bottleneck
	  detection at variable and cost function level

2010-02-03 08:26  

	* [r436] src/tb2vacutils.hpp: Addition of members for bottleneck
	  detection at unary and binary cost function level.

2010-02-01 17:06  

	* [r435] cmake-script/package.cmake: bug correction in cpack script
	  : narycsp and peo permissions changed to : rwx-rx-rx for
	  respcetively user-group and other

2010-02-01 14:48  

	* [r434] src/tb2solver.cpp: bug correction: update value heuristic
	  according to solution given as input file.

2010-02-01 14:47  

	* [r433] src/tb2boostgraph.cpp: show articulation points.

2010-02-01 14:17  

	* [r432] src/tb2wcsp.cpp: Typos

2010-01-29 11:04  

	* [r431] src/tb2main.cpp: modification of the session header : <=>"
	  bin location/toulbar2 :$version : copyright "

2010-01-29 10:53  

	* [r430] CMakeLists.txt: narcsp copy from misc to exec output
	  directory

2010-01-28 18:44  

	* [r429] CMakeLists.txt: change default option for win32 flag (
	  mendelsoft_only and toulbar_only modification)

2010-01-28 18:42  

	* [r428] cmake-script/package.cmake: exclude regexp for build
	  icons modifications
	  Toulbar.txt path fixed

2010-01-28 17:49  

	* [r427] lib/win32/gmp/lib/libgmp.a, lib/win32/gmp/lib/libgmp.la:
	  add gmp static lib for win32 cross compile

2010-01-26 15:40  

	* [r425] CMakeLists.txt: release version update 0.9 ==> 0.9.1

2010-01-26 15:39  

	* [r424] src/tb2clusters.cpp: unused var deletion

2010-01-26 14:28  

	* [r423] HowTo.build.Toulbar2: comment on gmp depences added

2010-01-26 14:27  

	* [r422] cmake-script/FindGmp.cmake, lib, lib/win32, lib/win32/gmp,
	  lib/win32/gmp/include, lib/win32/gmp/include/gmp.h,
	  lib/win32/gmp/info, lib/win32/gmp/info/gmp.info,
	  lib/win32/gmp/info/gmp.info-1, lib/win32/gmp/info/gmp.info-2,
	  lib/win32/gmp/info/gmp.info-3, lib/win32/gmp/info/gmp.info-4,
	  lib/win32/gmp/info/gmp.info-5, lib/win32/gmp/info/gmp.info-6,
	  lib/win32/gmp/info/gmp.info-7, lib/win32/gmp/info/gmp.info-8,
	  lib/win32/gmp/lib: static GMP library and header file for MinGW
	  added

2010-01-25 17:36  

	* [r421] src/tb2abstractconstr.hpp, src/tb2clusters.cpp,
	  src/tb2clusters.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2solver.cpp, src/tb2utils.hpp,
	  src/tb2wcsp.cpp: enum : bug correction => skip approximate enum
	  of solution if all var are assigned before search

2010-01-22 07:34  

	* [r420] src/tb2vac.hpp: Comments added

2010-01-22 07:33  

	* [r419] src/tb2vacutils.cpp: Cosmetic changes

2010-01-22 07:32  

	* [r418] src/tb2vacutils.hpp: The "isMarked" test was incorrectly
	  testing "k_timeStamp" instead of "mark".

2010-01-22 07:29  

	* [r417] src/tb2vac.cpp: In Pass2, at initialization, a value must
	  be marked only if its cost is not 0 (independantly from the fact
	  that it changes minlambda or not).

2010-01-21 13:15  

	* [r416] cmake-script/init-version.cmake,
	  cmake-script/package.cmake: new package name ==>
	  toulbar.$releasenumber.$CMAKE-BUILD-TYPE.$arch.xx

2010-01-21 11:06  

	* [r415] CMakeLists.txt: default value of CMAKE_BUILD_TYPE =
	  Release

2010-01-21 09:58  

	* [r414] CMakeLists.txt: Just a typo (no description)

2010-01-21 09:58  

	* [r413] cmake-script/package.cmake: Just a typo (no description)

2010-01-20 14:21  

	* [r412] cmake-script/package.cmake: Pour compiler une version
	  amd64.

2010-01-19 18:44  

	* [r411] CMakeLists.txt, cmake-script/FindGmp.cmake,
	  cmake-script/mingw32-config.cmake: mingw32 cross compilation with
	  gmp (static location) cf FindGmp.cmake

2010-01-19 18:32  

	* [r410] cmake-script/test.cmake: bug correction : binary not found
	  after mingw32 cross compilation

2010-01-18 18:06  

	* [r409] cmake-script/test.cmake: bugs correction: reset of UB
	  value ==> ub value of the previous test is not used in the
	  current test if not new value is defined

2010-01-18 18:03  

	* [r408] doc/ToulBar2.txt: why and howto setup NARYCSP env variable

2010-01-18 18:01  

	* [r407] src/tb2main.cpp: narycsp output is not static
	  bug correction narycsp can be locate in other path than the
	  current directory
	  or can be declared in a NARCYSP system variable

2010-01-18 17:51  

	* [r406] misc/bin/Linux/autonarycsp: add of autonarycsp binary

2010-01-11 15:27  

	* [r405] validation/default, validation/default/example.ub,
	  validation/default/example.wcsp,
	  validation/default/test-opt.cmake, validation/example.ub,
	  validation/example.wcsp, validation/test-opt.cmake: test file
	  refactoring

2010-01-11 15:24  

	* [r404] validation/enum, validation/enum/base2.enum,
	  validation/enum/base2.opt, validation/enum/base2.ub,
	  validation/enum/base2.wcsp, validation/enum/test-opt.cmake: test
	  enumeration

2010-01-08 10:54  

	* [r403] src/tb2integer.hpp: enumeration: forgotten file :(

2010-01-07 18:41  

	* [r402] CMakeLists.txt, cmake-script/package.cmake,
	  misc/bin/Linux, misc/bin/linux: peo and narycsp added in toulbar2
	  package

2010-01-07 17:38  

	* [r401] CMakeLists.txt, Doxyfile.in, clean,
	  cmake-script/define_option.cmake,
	  cmake-script/mingw32-config.cmake,
	  cmake-script/source_files.cmake, doc/MendelSoft.txt,
	  doc/MendelSolft.txt, doc/ToulBar2.txt, doc/example.order,
	  misc/script/runall.sh, misc/script/rungenerate.sh,
	  misc/script/rungenerateBTD.sh, src/tb2abstractconstr.hpp,
	  src/tb2arithmetic.cpp, src/tb2arithmetic.hpp,
	  src/tb2binconstr.cpp, src/tb2binconstr.hpp, src/tb2btd.cpp,
	  src/tb2clusters.cpp, src/tb2clusters.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2enumvar.cpp, src/tb2intervar.cpp,
	  src/tb2main.cpp, src/tb2naryconstr.cpp, src/tb2naryconstr.hpp,
	  src/tb2solver.cpp, src/tb2solver.hpp, src/tb2store.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2types.hpp, src/tb2vac.cpp, src/tb2vac.hpp,
	  src/tb2vacutils.cpp, src/tb2vacutils.hpp, src/tb2variable.cpp,
	  src/tb2variable.hpp, src/tb2wcsp.cpp, src/tb2wcsp.hpp,
	  src/toulbar2.hpp, src/xmlcsp/CopyCallback.hh,
	  src/xmlcsp/SampleCallback.hh, src/xmlcsp/XMLParser_Xerces.hh: New
	  major release include:
	  -solution enumeration cf. favier&al cp 2009
	  -different bug correction on vac and btd
	  -command line cleaning
	  -short user doc added in doc dir.

2010-01-07 12:45  

	* [r400] Copyright.txt, Doxyfile.in, HowTo.build.Toulbar2,
	  ReadMe.txt, clean: update of clean script, Copyright ReadMe.txt
	  and Doxyfile.in ( exclusion of xml and ilog directory during
	  generation of doc of source code

2010-01-07 10:33  

	* [r399] cmake-script/FindGmp.cmake: cmake module for gmp lib
	  configuration during compilation

2009-12-11 17:47  

	* [r398] CMakeLists.txt, cmake-script/define_option.cmake,
	  cmake-script/init-version.cmake, cmake-script/test.cmake: bug
	  correction on test timeout, option order and display refactory

2009-12-08 17:32  

	* [r396] validation/test-opt.cmake: example of test tuning

2009-12-08 17:31  

	* [r395] CMakeLists.txt, HowTo.build.Toulbar2, UseDoxygen.cmake,
	  cmake-script, cmake-script/Boost_option.cmake,
	  cmake-script/UseDoxygen.cmake, cmake-script/define_option.cmake,
	  cmake-script/iloglue.cmake, cmake-script/init-version.cmake,
	  cmake-script/mingw32-config.cmake, cmake-script/package.cmake,
	  cmake-script/source_files.cmake, cmake-script/test.cmake,
	  cmake-script/xmlcsp.cmake, test.cmake: -cmake refactoring ; main
	  file has been splited in several module
	  locate in the cmake-script dir;
	  -test can be tune more easely

2009-12-03 16:12  

	* [r394] CMakeLists.txt: Release / debug support
	  Static / shared support
	  independent packaging for toulbar2 and Mendelsoft
	  bug correction (path boost)
	  code cleaning

2009-11-30 18:33  

	* [r393] CMakeLists.txt, HowTo.build.Toulbar2: compilation support
	  release / debug mode
	  cf. Howto.build.toulbar2

2009-11-30 17:46  

	* [r392] HowTo.build.Toulbar2: add command about ccmake and how to
	  add test
	  -Cette ligne, et les suivantes ci-dessous, seront ignorées--
	  
	  M toulbar2/HowTo.build.Toulbar2

2009-11-30 17:39  

	* [r391] CMakeLists.txt, src/ilog/iloglue.cpp: cmakefile bug
	  correction in iloglue install command
	  iloglue support for g++ version >= 4.0

2009-11-27 15:38  

	* [r390] CMakeLists.txt: default option changed
	  toulbar2 target is produced by default
	  verbose mode is now the default compilation mode
	  bug correction on doxygen location and packaging

2009-11-27 12:13  

	* [r389] doc, doc/MendelSolft.txt, doc/toulbar2-class.pdf,
	  doc/toulbar2.ssd: mendelsolft doc and class diagramm

2009-11-25 11:11  

	* [r388] CMakeLists.txt: bug doxygen fixed , doc added to package

2009-11-24 13:14  

	* [r386] CVSROOT, benchs: cmake refactoring

2009-11-24 13:14  

	* [r385] CVSROOT, benchs:

2009-11-23 09:40  

	* [r381] CMakeLists.txt: fix install path

2009-11-20 13:56  

	* [r380] HowTo.build.Toulbar2: install doc update

2009-11-20 13:51  

	* [r379] clean: add file in clean script

2009-11-20 13:50  

	* [r378] CMakeLists.txt: install modification : there is still a
	  bug in rpm generation

2009-11-20 13:50  

	* [r377] Doxyfile.in: doxygen setup modification dot

2009-11-20 10:18  

	* [r376] misc/pixmaps, misc/pixmaps/logo.png, misc/pixmaps/tb2.ico:
	  icons and logo include into the windows package

2009-11-19 15:04  

	* [r375] CMakeLists.txt, test.cmake: comment : bug correction
	  deletion of old test in ctest

2009-11-19 13:15  

	* [r374] validation/example.ub: toulbar2 is now managed by cmake
	  for compilation , packaging and test
	  cross compilation for windows and mingw32 is also available

2009-11-19 13:14  

	* [r373] CMakeLists.txt, Copyright.txt, Doxyfile.in,
	  HowTo.build.Toulbar2, ReadMe.txt, UseDoxygen.cmake, clean,
	  test.cmake: toulbar2 is now managed by cmake for compilation ,
	  packaging and test
	  cross compilation for windows and mingw32 is also available

2009-11-19 12:52  

	* [r372] Makefile, evalresults.awk, misc/script/Makefile,
	  misc/script/evalresults.awk, misc/script/runall.sh,
	  misc/script/rungenerate.sh, misc/script/runtd.sh,
	  misc/script/tb2trace.awk, misc/script/tb2trace.sh,
	  misc/script/td.sh, narycsp, peo, runall.sh, rungenerate.sh,
	  runtd.sh, tb2trace.awk, tb2trace.sh, td.sh,
	  validation/example.wcsp: refactoring ==> cmake

2009-11-19 12:52  

	* [r371] example.wcsp: refactoring ==> cmake

2009-11-19 12:51  

	* [r370] misc/script: refactoring ==> cmake

2009-11-19 12:51  

	* [r369] misc/bin/linux/narycsp, misc/bin/linux/peo: refactoring
	  ==> cmake

2009-11-19 12:50  

	* [r368] misc/bin/linux: refactoring ==> cmake

2009-11-19 12:50  

	* [r367] validation: refactoring ==> cmake

2009-11-19 12:49  

	* [r366] misc, misc/bin:

2009-11-19 12:34  

	* [r365] src/xmlcsp: refactoring ==> cmake

2009-11-19 12:33  

	* [r364] xmlcsp: refactoring==> cmake

2009-11-19 12:31  

	* [r363] src/xmlcsp: refactoring ==> cmake

2009-11-19 12:24  

	* [r362] src/xmlcsp/iloglue.cpp: refactoring ==> cmake

2009-11-19 12:24  

	* [r361] iloglue.cpp, src/xmlcsp/iloglue.cpp: refactoring ==> cmake

2009-11-19 12:22  

	* [r360] src/ilog/iloglue.cpp: refactoring ==> switch to cmake

2009-11-19 12:16  

	* [r359] src/tb2abstractconstr.cpp, src/tb2abstractconstr.hpp,
	  src/tb2arithmetic.cpp, src/tb2arithmetic.hpp, src/tb2bep.cpp,
	  src/tb2bep.hpp, src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2boostgraph.cpp, src/tb2btd.cpp, src/tb2btlist.hpp,
	  src/tb2btqueue.cpp, src/tb2btqueue.hpp, src/tb2clusters.cpp,
	  src/tb2clusters.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2domain.cpp, src/tb2domain.hpp,
	  src/tb2enumvar.cpp, src/tb2enumvar.hpp, src/tb2intervar.cpp,
	  src/tb2intervar.hpp, src/tb2main.cpp, src/tb2naryconstr.cpp,
	  src/tb2naryconstr.hpp, src/tb2paretopair.hpp,
	  src/tb2pedigree.cpp, src/tb2pedigree.hpp, src/tb2queue.cpp,
	  src/tb2queue.hpp, src/tb2randomgen.cpp, src/tb2randomgen.hpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2store.hpp, src/tb2system.cpp, src/tb2system.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2types.hpp, src/tb2utils.hpp, src/tb2vac.cpp,
	  src/tb2vac.hpp, src/tb2vacutils.cpp, src/tb2vacutils.hpp,
	  src/tb2variable.cpp, src/tb2variable.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp, tb2abstractconstr.cpp,
	  tb2abstractconstr.hpp, tb2arithmetic.cpp, tb2arithmetic.hpp,
	  tb2bep.cpp, tb2bep.hpp, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2boostgraph.cpp, tb2btd.cpp, tb2btlist.hpp, tb2btqueue.cpp,
	  tb2btqueue.hpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2constraint.cpp, tb2constraint.hpp, tb2domain.cpp,
	  tb2domain.hpp, tb2enumvar.cpp, tb2enumvar.hpp, tb2intervar.cpp,
	  tb2intervar.hpp, tb2main.cpp, tb2naryconstr.cpp,
	  tb2naryconstr.hpp, tb2paretopair.hpp, tb2pedigree.cpp,
	  tb2pedigree.hpp, tb2queue.cpp, tb2queue.hpp, tb2randomgen.cpp,
	  tb2randomgen.hpp, tb2reader.cpp, tb2solver.cpp, tb2solver.hpp,
	  tb2store.hpp, tb2system.cpp, tb2system.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp, tb2types.hpp, tb2utils.hpp, tb2vac.cpp,
	  tb2vac.hpp, tb2vacutils.cpp, tb2vacutils.hpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp:
	  refactoring ==> switch to cmake

2009-11-19 12:15  

	* [r358] src/ilog/iloglue.cpp:

2009-11-19 12:15  

	* [r357] src/xmlcsp/AST.hh, src/xmlcsp/CSPParserCallback.hh,
	  src/xmlcsp/C_AST.h, src/xmlcsp/CopyCallback.hh,
	  src/xmlcsp/CostRepresentation.hh, src/xmlcsp/ExpressionParser.hh,
	  src/xmlcsp/SampleCallback.hh, src/xmlcsp/XMLParser.hh,
	  src/xmlcsp/XMLParser_Xerces.hh, src/xmlcsp/XMLParser_constants.h,
	  src/xmlcsp/XMLParser_libxml2.hh, src/xmlcsp/xmlcsp.h: refactoring
	  ==> switch to cmake

2009-11-19 12:15  

	* [r356] src/tb2abstractconstr.cpp, src/tb2abstractconstr.hpp,
	  src/tb2arithmetic.cpp, src/tb2arithmetic.hpp, src/tb2bep.cpp,
	  src/tb2bep.hpp, src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2boostgraph.cpp, src/tb2btd.cpp, src/tb2btlist.hpp,
	  src/tb2btqueue.cpp, src/tb2btqueue.hpp, src/tb2clusters.cpp,
	  src/tb2clusters.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2domain.cpp, src/tb2domain.hpp,
	  src/tb2enumvar.cpp, src/tb2enumvar.hpp, src/tb2intervar.cpp,
	  src/tb2intervar.hpp, src/tb2main.cpp, src/tb2naryconstr.cpp,
	  src/tb2naryconstr.hpp, src/tb2paretopair.hpp,
	  src/tb2pedigree.cpp, src/tb2pedigree.hpp, src/tb2queue.cpp,
	  src/tb2queue.hpp, src/tb2randomgen.cpp, src/tb2randomgen.hpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2store.hpp, src/tb2system.cpp, src/tb2system.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2types.hpp, src/tb2utils.hpp, src/tb2vac.cpp,
	  src/tb2vac.hpp, src/tb2vacutils.cpp, src/tb2vacutils.hpp,
	  src/tb2variable.cpp, src/tb2variable.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp: refactoring ==> swicth to
	  cmake

2009-11-17 10:35  

	* [r353] src, src/ilog, src/ilog/iloglue.cpp,
	  src/tb2abstractconstr.cpp, src/tb2abstractconstr.hpp,
	  src/tb2arithmetic.cpp, src/tb2arithmetic.hpp, src/tb2bep.cpp,
	  src/tb2bep.hpp, src/tb2binconstr.cpp, src/tb2binconstr.hpp,
	  src/tb2boostgraph.cpp, src/tb2btd.cpp, src/tb2btlist.hpp,
	  src/tb2btqueue.cpp, src/tb2btqueue.hpp, src/tb2clusters.cpp,
	  src/tb2clusters.hpp, src/tb2constraint.cpp,
	  src/tb2constraint.hpp, src/tb2domain.cpp, src/tb2domain.hpp,
	  src/tb2enumvar.cpp, src/tb2enumvar.hpp, src/tb2intervar.cpp,
	  src/tb2intervar.hpp, src/tb2main.cpp, src/tb2naryconstr.cpp,
	  src/tb2naryconstr.hpp, src/tb2paretopair.hpp,
	  src/tb2pedigree.cpp, src/tb2pedigree.hpp, src/tb2queue.cpp,
	  src/tb2queue.hpp, src/tb2randomgen.cpp, src/tb2randomgen.hpp,
	  src/tb2reader.cpp, src/tb2solver.cpp, src/tb2solver.hpp,
	  src/tb2store.hpp, src/tb2system.cpp, src/tb2system.hpp,
	  src/tb2ternaryconstr.cpp, src/tb2ternaryconstr.hpp,
	  src/tb2types.hpp, src/tb2utils.hpp, src/tb2vac.cpp,
	  src/tb2vac.hpp, src/tb2vacutils.cpp, src/tb2vacutils.hpp,
	  src/tb2variable.cpp, src/tb2variable.hpp, src/tb2wcsp.cpp,
	  src/tb2wcsp.hpp, src/toulbar2.hpp, src/xmlcsp, src/xmlcsp/AST.hh,
	  src/xmlcsp/CSPParserCallback.hh, src/xmlcsp/C_AST.h,
	  src/xmlcsp/CopyCallback.hh, src/xmlcsp/CostRepresentation.hh,
	  src/xmlcsp/ExpressionParser.hh, src/xmlcsp/SampleCallback.hh,
	  src/xmlcsp/XMLParser.hh, src/xmlcsp/XMLParser_Xerces.hh,
	  src/xmlcsp/XMLParser_constants.h,
	  src/xmlcsp/XMLParser_libxml2.hh, src/xmlcsp/xmlcsp.h: code
	  refactoring switch to cmake

2009-11-16 17:55  

	* [r351] tb2system.hpp, tb2types.hpp, tb2wcsp.cpp: # define changes
	  during of project transition on cmake

2009-11-16 17:25  

	* [r350] ToulbarVersion.hpp.in: Toulbar2 release file

2009-11-13 15:57  

	* [r349] tb2main.cpp: bug correction: option e0 (eliminate
	  variables with no constraints on it) works now!

2009-11-05 14:26  

	* [r348] tb2system.hpp: correction for Windows: add LL type to
	  macro definition.

2009-11-02 16:58  

	* [r347] tb2ternaryconstr.cpp: minor bug correction in ternary
	  constraints to be compatible with counting all solutions of a CSP
	  (initialize mincost with MAXCOST instead of getUb).

2009-10-19 13:59  

	* [r346] tb2naryconstr.cpp: minor bug correction in join method of
	  two nary constraints (this code was never used before!)

2009-10-13 16:07  

	* [r345] tb2constraint.cpp, tb2constraint.hpp, tb2naryconstr.cpp,
	  tb2naryconstr.hpp, tb2wcsp.cpp: remove satisfied constraints
	  (universal) in preprocessing (useful in Bayesian Networks) and
	  also during search for nary constraints defined by a small (<=4)
	  list of non-zero-cost tuples (typically, clauses, see jnh
	  examples).

2009-10-13 13:05  

	* [r344] tb2solver.cpp, tb2solver.hpp: minor correction:
	  encapsulate code for variable heuristic initialization into a
	  specific method which is called before the search and before
	  using ToulBar2::setvalue.

2009-10-13 13:02  

	* [r343] tb2main.cpp, tb2randomgen.cpp: random submodular problem
	  generator: extra parameter to select the percentage of binary
	  cost functions which are submodular in the problem (the remaining
	  functions are completely random).

2009-09-10 16:58  

	* [r342] tb2clusters.cpp, tb2main.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2types.hpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: dedicated solver for symmetric weighted max-2SAT
	  with only equality or disequality soft constraints
	  
	  solveSymMax2SAT (external function in tb2solver.cpp)
	  
	  reads a sparse formulation of the problem and returns an optimal
	  solution.

2009-08-26 07:44  

	* [r341] tb2vac.cpp, tb2vac.hpp, tb2vacutils.cpp, tb2vacutils.hpp:
	  code optimization in VAC: inline short functions.
	  
	  Warning! VAC value ordering heuristic does not preserve EAC
	  supports!
	  (see ../validation/vcsp15_10_100_93_37.wcsp example)

2009-08-24 16:01  

	* [r340] tb2main.cpp, tb2types.hpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.cpp: new option in
	  toulbar2:
	  V : value ordering heuristic based on VAC
	  
	  When Bool(P) is made arc consistent, it selects EAC unary support
	  values by taking the first value (in lexicographic order) with a
	  zero unary cost in the filtered domains of Bool(P).

2009-08-24 15:46  

	* [r339] runall.sh: *** empty log message ***

2009-08-24 12:39  

	* [r338] tb2randomgen.cpp: use tb2system myRand() random generator
	  instead of rand()

2009-08-24 12:34  

	* [r337] tb2enumvar.cpp: minor bug correction in verifying NC.
	  use tb2system myRand() random generator instead of rand()

2009-05-15 15:23  

	* [r336] Makefile: compile with NARYCHAR macro by default (pretty
	  print nary constraint tuples and separator goods).
	  
	  add option -O1 in debugging mode to allow stronger GNU g++
	  compilation verifications.

2009-05-13 08:31  

	* [r335] tb2constraint.cpp, tb2constraint.hpp: computes mininum
	  cost of a (nary) constraint more rapidly

2009-05-12 13:02  

	* [r334] tb2constraint.hpp: in preprocessing, enforce IC0 on nary
	  cost functions exploiting list of non-default cost tuples instead
	  of visiting all assignments.

2009-05-12 12:53  

	* [r333] tb2solver.cpp: in preprocessing, enforce local consistency
	  after one pass of singleton local consistency

2009-04-08 14:24  

	* [r332] Makefile: Update Makefile to compile with Ilog Solver 6.5
	  (see ILOG flags)

2009-04-08 14:22  

	* [r331] iloglue.cpp, tb2utils.hpp: add C includes in order to
	  compile on recent GCC g++ version 4.3.2

2009-02-26 13:21  

	* [r329] runall.sh, rungenerate.sh, runtd.sh: scripts for testing
	  and benchmarking are now compatible with bash shell.

2009-01-26 09:06  

	* [r326] xmlcsp/AST.hh, xmlcsp/CSPParserCallback.hh,
	  xmlcsp/CostRepresentation.hh, xmlcsp/ExpressionParser.hh,
	  xmlcsp/XMLParser.hh, xmlcsp/XMLParser_constants.h,
	  xmlcsp/XMLParser_libxml2.hh, xmlcsp/xmlcsp.h: XML CSP 2.1 format
	  updated in order to read weighted CSP problems.

2009-01-26 08:51  

	* [r325] Makefile, tb2wcsp.cpp: XML CSP 2.1 format updated in order
	  to read weighted CSP problems.
	  
	  warning! bug correction in tb2naryconstraint.hpp: bad allocation
	  size corrected.

2009-01-26 08:48  

	* [r324] tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2system.hpp: bug
	  correction: output properly naryconstraints with wide-character
	  string data storing large domain assignments.

2008-10-30 16:01  

	* [r323] tb2main.cpp: add a sentence in the help message about
	  random submodular problem generation.

2008-10-22 13:57  

	* [r322] tb2abstractconstr.hpp, tb2binconstr.hpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2constraint.cpp, tb2constraint.hpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2randomgen.cpp,
	  tb2reader.cpp, tb2system.hpp, tb2ternaryconstr.hpp, tb2types.hpp,
	  tb2wcsp.cpp: Large enumerated domains can be used in BTD and nary
	  constraints (see flag WIDE_STRING in tb2type.hpp).

2008-10-22 09:09  

	* [r321] tb2btd.cpp, tb2clusters.cpp, tb2main.cpp, tb2solver.cpp:
	  bug correction in BTD-RDS: keep active separators of "current
	  root" cluster's sons.
	  
	  new option Z for debugging purposes:
	  - "Z": shows solver search depth and if available current cluster
	  every 100 nodes
	  - "ZZ": shows all learnt goods during search

2008-10-22 07:16  

	* [r320] tb2boostgraph.cpp, tb2system.hpp, tb2utils.hpp: new C++
	  includes and macro LLONG_MAX for GCC 4.3 compiler.

2008-08-07 16:45  

	* [r319] example.wcsp: dummy wcsp example to test toulbar2

2008-08-07 16:35  

	* [r317] xmlcsp, xmlcsp/AST.hh, xmlcsp/CSPParserCallback.hh,
	  xmlcsp/C_AST.h, xmlcsp/CopyCallback.hh,
	  xmlcsp/ExpressionParser.hh, xmlcsp/SampleCallback.hh,
	  xmlcsp/XMLParser.hh, xmlcsp/XMLParser_Xerces.hh,
	  xmlcsp/XMLParser_constants.h, xmlcsp/XMLParser_libxml2.hh,
	  xmlcsp/xmlcsp.h: Imported sources

2008-08-07 16:33  

	* [r316] td.sh: new script providing toulbar2 a variable
	  elimination order for BTD-like methods.

2008-08-07 16:32  

	* [r315] tb2trace.awk, tb2trace.sh: new script for debugging
	  purposes (trace analysis).

2008-08-07 16:12  

	* [r314] runall.sh, rungenerate.sh, runtd.sh: update scripts for
	  benchmarking and debugging

2008-08-07 16:04  

	* [r313] peo: external linux program from (Jegou, Terrioux, Ndiaye,
	  LSIS, Marseilles) to compute variable elimination orders in order
	  to build tree decompositions.

2008-08-07 16:00  

	* [r312] tb2binconstr.hpp, tb2constraint.hpp, tb2reader.cpp,
	  tb2ternaryconstr.hpp: project minimum cost of nary constraints
	  when reading wcsp format problems.

2008-08-07 15:59  

	* [r311] tb2naryconstr.cpp, tb2naryconstr.hpp, tb2wcsp.cpp: bug
	  correction in string buffers for nary constraints

2008-08-07 15:55  

	* [r310] Makefile, tb2main.cpp: read UAI-08 Bayesian network *.uai
	  format and optionally (see Makefile) XML *.xml format XCSP2.1
	  (only Max-CSP for the moment).

2008-08-05 17:37  

	* [r309] tb2abstractconstr.hpp, tb2binconstr.hpp,
	  tb2boostgraph.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2constraint.hpp, tb2naryconstr.cpp, tb2queue.cpp,
	  tb2ternaryconstr.hpp, tb2variable.cpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: * BTD-like methods: DAC
	  variable order compatible with tree decomposition.
	  
	  * makes explicit when the deconnection of a constraint can be
	  followed by a reconnection (ctr->deconnect(true))

2008-08-05 17:32  

	* [r308] tb2enumvar.cpp: bug correction in variable elimination
	  during search: reconnect binaryConstraint only if unassigned
	  variable

2008-08-04 16:37  

	* [r307] tb2binconstr.hpp, tb2ternaryconstr.hpp: ASSERT for BTD
	  like methods: check EAC is not performed on duplicate
	  constraints.

2008-08-04 16:34  

	* [r306] tb2enumvar.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp: bug
	  correction in project Nary To Binary: do not forget to reconnect
	  the binary constraint if needed.

2008-08-04 16:31  

	* [r305] tb2main.cpp, tb2solver.cpp, tb2types.hpp, tb2wcsp.cpp: new
	  debugging option 'Z': dump the current wcsp at each search node.

2008-08-04 16:29  

	* [r304] tb2clusters.cpp: BTD-like methods: reuse last solution
	  found in value ordering excluding the dummy separator assignment
	  (EAC value assignment).

2008-08-04 16:28  

	* [r303] tb2btd.cpp: RDS-BTD: exploits better initial upper bounds
	  at each RDS iteration thanks to already computed RDS lower
	  bounds.

2008-08-04 16:26  

	* [r302] tb2abstractconstr.hpp, tb2btlist.hpp: ASSERT: check that a
	  constraint cannot be reconnected if it was previously deconnected
	  in a parent choice point.

2008-07-30 13:56  

	* [r301] tb2main.cpp: BTD not compatible with VAC during search:
	  killer structure does not allow duplicate constraints.

2008-07-30 13:54  

	* [r300] tb2abstractconstr.hpp, tb2enumvar.cpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp: BTD verify correction (check
	  duplicates correctly)

2008-07-30 13:52  

	* [r299] tb2naryconstr.cpp: BTD: bug correction in nary to binary
	  projection: prefer binary constraint with same cluster as nary.

2008-07-30 13:50  

	* [r298] tb2ternaryconstr.cpp: bug correction in ternary
	  projection: do not reconnect a binary constraint if its variables
	  are assigned.

2008-07-30 13:48  

	* [r297] tb2solver.cpp: DFBB: do not reuse last solution found as
	  value ordering heuristic (bad experimental results).

2008-07-23 17:21  

	* [r296] tb2btd.cpp, tb2solver.cpp, tb2variable.hpp: BTD: variable
	  ordering heuristic dom/deg takes into account separators in
	  future degree (deg).

2008-07-23 17:16  

	* [r295] tb2main.cpp: send a warning if BTD used with n-ary
	  branching (not implemented)

2008-07-23 08:33  

	* [r294] tb2solver.cpp, tb2wcsp.hpp: DFS default value ordering
	  heuristic: reuse last solution found instead of full support
	  value if available (as done in BTD-like methods).
	  This heuristic works well if a good initial upper bound is
	  provided.

2008-07-22 17:55  

	* [r293] tb2binconstr.hpp, tb2main.cpp, tb2ternaryconstr.hpp: flag
	  'o' ensures compatibility with old-toolbar EAC lower bound.

2008-07-22 17:00  

	* [r292] Makefile: flag NARYCHAR documented in the Makefile.

2008-07-22 16:58  

	* [r291] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2naryconstr.cpp, tb2pedigree.cpp, tb2randomgen.cpp,
	  tb2reader.cpp, tb2solver.cpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.cpp: Compatibility with
	  bi-criteria costs maintained (only DFS with FDAC, not BTD).

2008-07-21 14:54  

	* [r290] tb2main.cpp, tb2solver.cpp, tb2system.cpp: output CPU
	  solving time.

2008-07-21 13:27  

	* [r289] tb2clusters.cpp: BTD-RDS exploits RDS lower bounds for
	  computing local upper bounds.

2008-07-11 15:27  

	* [r288] tb2vac.cpp, tb2vacutils.cpp: allows VAC propagation during
	  BTD-like search methods

2008-07-11 10:08  

	* [r287] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2constraint.cpp, tb2main.cpp, tb2naryconstr.cpp,
	  tb2randomgen.cpp, tb2reader.cpp, tb2solver.cpp, tb2solver.hpp,
	  tb2vacutils.cpp, tb2variable.cpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: cleanning BTD code

2008-06-24 14:56  

	* [r286] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2solver.cpp, tb2types.hpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: New options for BTD:
	  
	  * B[integer] : (0) DFS, (1) BTD, (2) BTD-RDS, (3) RDS
	  RDS is equivalent to BTD-RDS except that it is based on path
	  decomposition instead of tree decomposition.
	  * j[integer] : split larger clusters into a chain of smaller
	  embedded clusters with a number of proper variables less than
	  this number
	  Use this option (j1) in conjunction with B3 to get pure RDS
	  search.
	  * E : merge leaf clusters with their fathers if they have a small
	  local treewidth (to be used in conjunction with option e)
	  * r[integer] : limit on maximum cluster separator size. if a
	  separator is greater then merge the two clusters.
	  
	  BTD, BTD-RDS, and RDS reuse last best solution found as value
	  choice heuristic. If option x is used, an initial solution can be
	  passed to guide value choice heuristic.

2008-06-24 14:29  

	* [r285] tb2pedigree.cpp, tb2pedigree.hpp: Pedigree only:
	  
	  * new option "u[integer]"
	  add a penalty weight (must use option y also) on genotyped
	  individuals depending on the number of their genotyped children
	  in order to penalize genotyping removals if the number of
	  genotyped children is strictly greater than a given threshold.
	  * pedigree format extension
	  an individual with negative alleles means that its genotype is
	  fixed to the absolute value of these alleles.

2008-06-09 08:55  

	* [r284] tb2reader.cpp: Calcul du cout min/cost function UAI

2008-06-04 16:19  

	* [r283] tb2btd.cpp, tb2main.cpp, tb2reader.cpp, tb2system.hpp,
	  tb2types.hpp, tb2wcsp.cpp: UAI: print CPU time at each solution
	  found

2008-06-04 16:18  

	* [r282] tb2clusters.cpp, tb2constraint.cpp: BTD: do not consider
	  assigned variables in n-ary constraints when building the tree
	  decomposition.

2008-06-02 13:13  

	* [r281] Makefile: Makefile: to produce a static version of
	  toulbar2 with XML parser,
	  uncomment XML flags and add -static options in toulbar2 makefile
	  rule.

2008-06-02 13:09  

	* [r280] tb2naryconstr.cpp: avoid changing nary default cost if
	  already greater than top

2008-06-02 13:07  

	* [r279] tb2btd.cpp, tb2clusters.cpp, tb2reader.cpp, tb2solver.cpp,
	  tb2wcsp.cpp: change solver's outputs for UAI and WCSP
	  competitions.

2008-05-30 13:37  

	* [r278] tb2clusters.cpp, tb2reader.cpp, tb2solver.cpp,
	  tb2types.hpp, tb2wcsp.cpp, tb2wcsp.hpp: UAI comp: Added variable
	  ToulBar2::markov_log for
	  Markov file type. Changed output file: now it is only
	  done in file reader.cpp > function solution_UAI(Cost lb)

2008-05-30 11:59  

	* [r277] tb2clusters.cpp, tb2main.cpp, tb2types.hpp, tb2wcsp.cpp:
	  UAI: change evidences output all model variables
	  evidence file can be specified as second parameter

2008-05-30 11:26  

	* [r276] tb2solver.cpp: Modification of non optimal solution output
	  for UAI

2008-05-29 17:16  

	* [r275] tb2clusters.cpp: BTD: when building tree decomposition,
	  assign cluster number to all constraints including binary and
	  ternary constraints produced by variable elimination OR nary to
	  ternary/binary projections due to evidence assignments.

2008-05-29 16:01  

	* [r274] tb2reader.cpp: UAI reader: read any n-ary constraints (not
	  only 4-arity!)

2008-05-29 14:04  

	* [r273] tb2binconstr.hpp, tb2btd.cpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2constraint.hpp, tb2main.cpp,
	  tb2naryconstr.hpp, tb2reader.cpp, tb2solver.cpp,
	  tb2ternaryconstr.hpp, tb2wcsp.cpp, tb2wcsp.hpp: XML reading
	  corrections
	  correct outputs for uai and xml formats competition

2008-05-29 12:38  

	* [r272] tb2clusters.cpp, tb2enumvar.cpp, tb2solver.cpp,
	  tb2wcsp.cpp: BTD: restore solution works with variable elim in
	  preprocessing

2008-05-28 13:26  

	* [r271] tb2clusters.cpp, tb2clusters.hpp: BTD-RDS:
	  * solves only once each connected component.
	  * speed up recursive RDS bound computation (deltaModified boolean
	  status associated to each variable)
	  * keep using separators (and goods) inside the current cluster's
	  subtree even if some of its variables have been deconnected
	  (deconnectSep)

2008-05-28 13:19  

	* [r270] tb2btd.cpp: BTD-RDS: solves only once each connected
	  component.

2008-05-23 15:42  

	* [r269] tb2wcsp.cpp: BTD-RDS: perform variable elimination during
	  search only on variables in the current subproblem.

2008-05-23 15:41  

	* [r268] Makefile: makefile for XML parser

2008-05-23 14:01  

	* [r267] tb2binconstr.hpp, tb2clusters.cpp, tb2constraint.hpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2reader.cpp,
	  tb2ternaryconstr.hpp, tb2wcsp.hpp: read XML for competition 2008
	  working
	  reducing treedecomposition height correction

2008-05-23 13:33  

	* [r266] tb2pedigree.cpp: pedigree only: shows the number of
	  corrected genotypes at each solution found (useful in Bayesian
	  mode)

2008-05-23 13:32  

	* [r265] tb2main.cpp: check conflict bewteen options p and s/w :
	  cannot restore solution if general variable elimination used.

2008-05-21 16:08  

	* [r264] tb2clusters.cpp, tb2main.cpp, tb2reader.cpp, tb2types.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: input format XML competition 2008
	  BTD: treewidth problem solved

2008-05-21 11:35  

	* [r263] tb2solver.cpp, tb2solver.hpp: tag for all solutions option
	  (d.)

2008-05-21 08:15  

	* [r262] tb2main.cpp, tb2reader.cpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: added read UAI2008 competition format,
	  in test

2008-05-16 11:57  

	* [r261] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: BTD RDS pseudo tree
	  option B2 stable
	  if no order is specified default file order is taken
	  preliminary function for orienting DAC order in the tree decomp

2008-05-13 15:23  

	* [r260] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp: BTD-RDS:
	  nogoods on separator variables of the subproblem root cluster
	  cannot be optimal.

2008-05-13 12:33  

	* [r259] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2solver.cpp, tb2solver.hpp, tb2types.hpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp: BTD option B
	  
	  modes B0: usual BTD
	  B2: pseudo tree rds BTD (one bug remains)
	  
	  option R[integer] choose root cluster
	  I[integer] solve a particular subtree

2008-04-29 12:19  

	* [r258] tb2binconstr.cpp, tb2btd.cpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2constraint.cpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2main.cpp, tb2naryconstr.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2ternaryconstr.cpp, tb2ternaryconstr.hpp,
	  tb2types.hpp, tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: BTD-RDS started (option B1 to launch)
	  treedecomposition depth optimized
	  projection nary->ternary working
	  solution restore bug repaired

2008-04-24 12:49  

	* [r257] tb2binconstr.hpp, tb2btd.cpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2enumvar.cpp, tb2naryconstr.cpp, tb2wcsp.cpp:
	  BTD: -nary with variable elimination working
	  -recover solution working also with var elim

2008-04-22 12:10  

	* [r256] tb2clusters.cpp, tb2naryconstr.cpp, tb2wcsp.cpp: BTD: two
	  problems solved for nary ctrs

2008-04-16 11:12  

	* [r255] tb2clusters.cpp, tb2constraint.cpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2enumvar.hpp, tb2naryconstr.cpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp: BTD working with nary
	  constraints and variable elimination
	  one bug remains only for nary constraints
	  passed generator for binary, ternary and variable elimination

2008-04-10 14:11  

	* [r254] tb2clusters.cpp, tb2clusters.hpp, tb2naryconstr.cpp,
	  tb2naryconstr.hpp, tb2ternaryconstr.hpp, tb2variable.cpp,
	  tb2wcsp.cpp: BTD for nary constraints (one bug remains)

2008-04-09 12:29  

	* [r253] tb2main.cpp, tb2types.hpp, tb2vac.cpp, tb2wcsp.cpp: VAC:
	  added option P[cost] to control threshold
	  in preprocessing for vac. Option T[cost]
	  continues to be the treshold during search
	  when vac option An specified for n>0

2008-04-08 14:53  

	* [r252] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2constraint.cpp, tb2constraint.hpp, tb2enumvar.cpp,
	  tb2enumvar.hpp, tb2solver.cpp, tb2store.hpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2variable.cpp,
	  tb2variable.hpp: btd working for multiple connex components,
	  ternary constraints and preparing for nary and boosting
	  with variable elimination

2008-04-04 14:18  

	* [r251] tb2clusters.cpp, tb2clusters.hpp, tb2store.hpp: BTD: goods
	  used in advance inside the propagation

2008-04-04 10:24  

	* [r250] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2solver.cpp, tb2solver.hpp, tb2wcsp.cpp: BTD: bug in
	  activate/deactivate clusters..partially corrected!

2008-04-03 13:41  

	* [r249] tb2btd.cpp, tb2btlist.hpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2store.hpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp: BTD: goods used in advance.

2008-04-02 14:24  

	* [r248] tb2clusters.cpp, tb2clusters.hpp: separator reacts as a
	  constraint
	  and can use nogood before all the cluster
	  is assigned

2008-03-31 15:52  

	* [r247] tb2clusters.cpp: use MIN_COST instead of 0

2008-03-31 15:18  

	* [r246] runtd.sh, tb2clusters.cpp, tb2clusters.hpp, tb2types.hpp:
	  BTD bug corrections
	  generator test runtd.sh passed!
	  optimization phase started

2008-03-31 12:02  

	* [r245] tb2btd.cpp, tb2clusters.cpp, tb2solver.cpp, tb2wcsp.cpp:
	  BTD small changes..

2008-03-28 16:36  

	* [r244] tb2binconstr.cpp, tb2btd.cpp, tb2clusters.cpp,
	  tb2clusters.hpp: BTD: add recording nogoods. (bug remains!)

2008-03-28 12:48  

	* [r243] tb2clusters.cpp, tb2clusters.hpp: minor changes for btd

2008-03-27 18:30  

	* [r242] tb2binconstr.cpp, tb2binconstr.hpp, tb2clusters.cpp,
	  tb2clusters.hpp, tb2variable.hpp: -added class sperator with
	  delta structure (cost
	  leaving the cluster) and nogood recoording
	  -added iterators over the separators of a variable

2008-03-26 16:58  

	* [r241] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp: BTD -pseudo
	  tree search-: pretty print cluster tree decomposition

2008-03-26 10:28  

	* [r240] tb2clusters.cpp, tb2clusters.hpp: BTD: correct descendants
	  data structure.

2008-03-26 09:55  

	* [r239] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2solver.cpp: BTD: currentCluster is made backtrackable.

2008-03-25 18:18  

	* [r238] tb2btd.cpp, tb2reader.cpp, tb2solver.cpp, tb2wcsp.cpp:
	  treedecomp build after preprocessing
	  initial lower bound is added in the root cluster

2008-03-25 16:55  

	* [r237] tb2binconstr.hpp, tb2btd.cpp, tb2constraint.cpp,
	  tb2main.cpp, tb2solver.cpp, tb2ternaryconstr.hpp,
	  tb2variable.cpp: bug corrections in BTD... still there are some
	  problems that remain.

2008-03-21 12:57  

	* [r236] tb2clusters.cpp, tb2clusters.hpp: problem with cvs merge
	  solved

2008-03-21 12:45  

	* [r235] tb2btd.cpp, tb2clusters.cpp, tb2clusters.hpp,
	  tb2solver.cpp, tb2wcsp.cpp, tb2wcsp.hpp: the base code of
	  pseudotree search is integrated
	  and working with a correct tree decomposition
	  but there are some problems with lower/upper
	  bound comunication between clusters

2008-03-17 10:55  

	* [r234] Makefile, runall.sh, rungenerate.sh, tb2btd.cpp,
	  tb2clusters.cpp, tb2clusters.hpp, tb2constraint.cpp: i forgot one
	  file tb2btd.cpp

2008-03-17 10:51  

	* [r233] tb2solver.cpp, tb2solver.hpp, tb2types.hpp,
	  tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp:
	  integration of some preliminary
	  pseudotree search that simon started

2008-03-14 15:25  

	* [r232] tb2clusters.cpp, tb2clusters.hpp: bug correction in
	  treedecompositon computation
	  some code cleaning is still needed

2008-03-11 17:52  

	* [r231] tb2clusters.cpp, tb2clusters.hpp, tb2constraint.hpp,
	  tb2solver.cpp, tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: added data structures and functions
	  for treedecompostion useful for BTD (makerooted, depth,
	  separators, delta costs...)

2008-03-11 16:39  

	* [r230] tb2main.cpp, tb2system.hpp, tb2types.hpp: small changes to
	  compile under Visual C++ for Windows

2008-03-07 14:02  

	* [r229] tb2arithmetic.cpp, tb2arithmetic.hpp, tb2binconstr.cpp,
	  tb2binconstr.hpp, tb2constraint.cpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2enumvar.hpp, tb2naryconstr.cpp,
	  tb2randomgen.cpp, tb2reader.cpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp, tb2types.hpp, tb2vac.cpp, tb2vacutils.cpp,
	  tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp: identify
	  project/extend operations encapsulated in dedicated methods.

2008-03-06 10:52  

	* [r228] tb2clusters.cpp, tb2clusters.hpp, tb2main.cpp,
	  tb2solver.cpp, tb2types.hpp, tb2wcsp.cpp, tb2wcsp.hpp: -added
	  tb2clusters.hpp .cpp to manage tree decompositions
	  -added option Oorderfile that computes the tree decomposition
	  induced by a the given file order and sets the cluster
	  structure accordingly

2008-03-03 10:06  

	* [r227] tb2pedigree.cpp: pedigree data: change message on
	  informative inviduals

2008-02-25 14:43  

	* [r226] tb2pedigree.cpp: mini bug corrige quand le nombre
	  d'alleles = 1

2008-02-20 16:19  

	* [r224] Makefile, tb2main.cpp, tb2wcsp.cpp: toulbar2 version 0.6
	  options dce used by default (at least!)
	  remove a default option using ":" symbol.
	  e.g. :e:d:c:b

2008-01-18 12:54  

	* [r223] Makefile, runall.sh, rungenerate.sh, tb2vac.cpp: On ne
	  marque pas les valeurs de la variable wipe out qui ont un cout
	  non nul.

2008-01-11 10:02  

	* [r222] tb2vac.hpp: Added a counter to store the maximum k

2008-01-11 10:01  

	* [r221] tb2vac.cpp: Computes the maximum k too
	  Extends the amount of cost needed defined by binary k and then
	  sets this binary k to 0 to avoid repeated extend and bad
	  threshold side effect

2008-01-10 14:31  

	* [r220] tb2vac.cpp: For pairs, the number of quantum of costs is
	  the sum of the left cost
	  requests and right cost request but only if this request is part
	  of the wipe-out causes (marked values only).

2007-12-21 15:20  

	* [r219] tb2arithmetic.cpp, tb2enumvar.cpp, tb2naryconstr.cpp,
	  tb2paretopair.hpp, tb2randomgen.cpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp: modifications to compile for paretopair.
	  
	  bug correction on findNCsupport in randomgen.
	  
	  change VAC pass3 to ensure cost extend=cost project
	  ==> there is still a bug in assert of AC verify!

2007-12-20 15:49  

	* [r218] tb2binconstr.cpp, tb2binconstr.hpp, tb2main.cpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2types.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: new toulbar2 option:
	  k : soft local consistency level (NC=0, AC=1, DAC=2, FDAC=3,
	  EDAC=4)
	  
	  bug on preproject for nary constraints identified.

2007-12-04 13:45  

	* [r217] tb2reader.cpp, tb2solver.cpp, tb2vac.cpp, tb2vac.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: ajoute preprocessing
	  triplets de variables: genere ternaire
	  si la 3-consistence du triplet incremente le C0

2007-11-15 15:48  

	* [r215] tb2constraint.hpp, tb2variable.cpp: encore des changements
	  pour compiler sous windows
	  essai de commit avec TortoiseCVS (windows)

2007-11-15 15:03  

	* [r214] tb2binconstr.cpp, tb2binconstr.hpp, tb2enumvar.cpp,
	  tb2enumvar.hpp, tb2intervar.hpp, tb2pedigree.cpp,
	  tb2randomgen.cpp, tb2solver.cpp, tb2system.hpp, tb2wcsp.cpp:
	  permutation des domaines pour generer des submodulaires
	  corrections pour la compilation windows

2007-11-13 09:17  

	* [r213] tb2main.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2randomgen.cpp, tb2randomgen.hpp, tb2reader.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2vac.cpp, tb2vac.hpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: essaie d'aplication d'une variation
	  de la star rule pour les contraintes naires
	  (finalement desactive, sa marche pas trop)
	  
	  generateur de contraintes submodulaires:
	  voici par exemple un probleme dificile
	  que vac resu :
	  
	  binsub-150-15-80-1500-9

2007-11-06 14:30  

	* [r212] tb2wcsp.cpp: change toulbar2 version number to 0.6.

2007-11-06 10:16  

	* [r211] tb2bep.cpp, tb2paretopair.hpp, tb2pedigree.cpp,
	  tb2reader.cpp, tb2types.hpp: Problem: when projecting costs from
	  constraints to unary costs, using the delta cost trick,
	  substracting a finite cost from an initial infinity cost (i.e.
	  greater or equal than top) can result in a finite cost instead of
	  infinity.
	  
	  Solution: multiply all initial infinity costs by a constant such
	  that after some subtractions it remains greater than top.

2007-11-06 10:07  

	* [r210] tb2main.cpp: special problem loading&solving if BEP
	  instances with name *.bep or bEpInstance_A_* detected.

2007-11-06 09:11  

	* [r209] tb2randomgen.cpp: random wcsp generator: take into account
	  optional cost multiplier

2007-10-23 12:54  

	* [r208] rungenerate.sh, tb2binconstr.hpp, tb2enumvar.cpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2randomgen.cpp,
	  tb2reader.cpp, tb2ternaryconstr.cpp, tb2ternaryconstr.hpp,
	  tb2vac.cpp, tb2wcsp.cpp, tb2wcsp.hpp: projection des naires a
	  ternaires, binaries ou unaries;
	  selon le nombre de variables desaffectees
	  
	  implementation des naires alternative: en structure Trie

2007-10-12 12:40  

	* [r207] Makefile: *** empty log message ***

2007-10-12 12:39  

	* [r206] tb2bep.cpp, tb2bep.hpp: For solving BEP benchmark:
	  * dedicated reader of BEP format
	  * pretty print of solutions

2007-10-12 12:38  

	* [r205] tb2arithmetic.cpp, tb2arithmetic.hpp, tb2enumvar.cpp,
	  tb2enumvar.hpp, tb2intervar.cpp, tb2main.cpp, tb2reader.cpp,
	  tb2solver.cpp, tb2solver.hpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: For solving BEP benchmark:
	  * add special soft disjunctive constraint
	  * add schedule or postpone search method in tb2solver

2007-10-11 09:09  

	* [r204] runall.sh, tb2boostgraph.cpp, tb2vac.cpp, tb2vacutils.cpp,
	  tb2variable.cpp, tb2wcsp.cpp: petites modifes pour laisser VAC
	  stable

2007-10-08 14:15  

	* [r203] tb2abstractconstr.hpp, tb2arithmetic.cpp,
	  tb2arithmetic.hpp, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2enumvar.cpp, tb2enumvar.hpp, tb2intervar.cpp, tb2intervar.hpp,
	  tb2main.cpp, tb2reader.cpp, tb2solver.cpp, tb2vac.cpp,
	  tb2vacutils.cpp, tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: New arithmetic constraints with
	  BAC+IC0 propagation.
	  
	  Unary soft constraint
	  semantic of cost function: (x in SetOfValues)?0:penalty
	  
	  Bounded distance soft constraint x >= y + cst
	  max( (y + cst - x <= deltamax)?(y + cst - x):top , 0 )
	  
	  Disjunctive soft constraint x >= y + csty or y >= x + cstx
	  (x >= y + csty || y >= x + cstx)?0:penalty

2007-09-21 14:07  

	* [r202] tb2vacutils.cpp, tb2wcsp.cpp: change a few comments.

2007-09-20 14:08  

	* [r201] tb2system.cpp: bad file removed

2007-09-20 14:05  

	* [r200] tb2costvar.cpp, tb2costvar.hpp: bad files removed

2007-09-20 13:59  

	* [r199] Makefile, tb2abstractconstr.hpp, tb2arithmetic.cpp,
	  tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2enumvar.hpp, tb2intervar.cpp, tb2intervar.hpp,
	  tb2main.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2paretopair.hpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2randomgen.cpp, tb2randomgen.hpp, tb2reader.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2system.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp, tb2types.hpp, tb2utils.hpp, tb2vac.cpp,
	  tb2vac.hpp, tb2vacutils.cpp, tb2vacutils.hpp, tb2variable.cpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: new cost type
	  (paretopair) for bicriteria optimization.
	  
	  bug in vac about NC support corrected.

2007-09-18 13:13  

	* [r198] tb2binconstr.hpp, tb2solver.cpp, tb2solver.hpp: another
	  variant of weighted degree variable ordering heuristic.

2007-09-18 09:20  

	* [r197] tb2enumvar.cpp, tb2main.cpp, tb2reader.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2types.hpp, tb2vac.cpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: code clean -up (remove some global
	  toulbar2 variables).
	  allows to use separately weightedDegree heuristic with last
	  conflict.

2007-09-17 15:45  

	* [r196] tb2binconstr.cpp, tb2enumvar.cpp, tb2main.cpp,
	  tb2types.hpp, tb2vac.cpp, tb2vac.hpp, tb2vacutils.cpp,
	  tb2vacutils.hpp, tb2wcsp.cpp: replace
	  vacDecomposition/vacAlternative/vac flags by vac.
	  
	  all toulbar2 options are now documented in help text
	  (tb2main.cpp).

2007-09-17 14:42  

	* [r195] tb2rational.hpp, tb2types.hpp: remove rational costs!

2007-09-17 14:41  

	* [r194] tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.hpp:
	  remove maxCost field from Constraint class. NEVER USED.

2007-09-17 14:19  

	* [r193] tb2solver.cpp: bug correction: if multiple wcsp networks
	  are created, then do not call setvalue during network
	  construction.

2007-09-06 14:04  

	* [r192] tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2main.cpp, tb2reader.cpp, tb2solver.cpp,
	  tb2solver.hpp, tb2types.hpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: derniere
	  version de VAC avec threshold descendant
	  ajout heuristic last conflict degree ponderee 'q'
	  ajout singleton vac consistency option 'S'; assez lent
	  trois bugs identifies

2007-08-08 15:01  

	* [r189] tb2binconstr.cpp, tb2binconstr.hpp, tb2enumvar.cpp,
	  tb2intervar.cpp, tb2main.cpp, tb2naryconstr.cpp,
	  tb2naryconstr.hpp, tb2randomgen.cpp, tb2reader.cpp,
	  tb2ternaryconstr.cpp, tb2types.hpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.cpp, tb2wcsp.hpp:
	  derniere version de VAC avec copy de reseaux
	  ajout option A(+profondeur) pour vac a prof borne
	  deux options pour preproject naires: all2, cover with Ternary

2007-07-13 16:45  

	* [r188] tb2vac.cpp, tb2vac.hpp: bug correction in VAC:
	  - use integer only for computing lambda, floor rounding each
	  cij/k and each ci/k in Pass 2
	  - update manually the NC support value after each projection in
	  Pass 3(SLOW)
	  - take into account the non-zero unary costs of the inconsistent
	  variable in order to compute lambda, in the beginning of Pass 3
	  => bug in VAC algorithm description!

2007-07-13 16:38  

	* [r187] tb2vacutils.cpp, tb2vacutils.hpp: rename
	  VACConstraint::getVACCostNoThreshold in getIniCost to be
	  consistent with VACVariable::getIniCost

2007-07-13 16:13  

	* [r186] tb2binconstr.hpp: --experimental patch--
	  for binary constraints, Delta are not taken into account if
	  initial cost is Top.

2007-07-12 16:28  

	* [r185] tb2binconstr.hpp, tb2solver.cpp, tb2vac.cpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.hpp, toulbar2.hpp: bug
	  correction in VAC step 3 due to thresholds

2007-07-12 12:09  

	* [r184] tb2enumvar.cpp, tb2main.cpp, tb2randomgen.cpp,
	  tb2reader.cpp, tb2types.hpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.cpp: vac entier en
	  preprocessing et pendant la recherche
	  option C100 pour multiplier le probleme
	  option T1000 pour changer le threshold
	  
	  ex: ./toulbar2 ./bench/celar/scen07.wcsp AC100T10v
	  
	  fait vac alternaif x100 les couts et le th a 10

2007-07-06 15:41  

	* [r183] tb2main.cpp, tb2pedigree.cpp, tb2types.hpp, tb2wcsp.cpp:
	  for pedigree problem only:
	  when using option w, choose to save corrections
	  w0 : genotypages errones mis à zéro
	  w1 : genotypages errones corrigés à la prédiction
	  w2 : genotypages errones ou manquants mis à la prediction

2007-07-06 15:40  

	* [r182] tb2system.hpp: compilation bug: check if LONGLONG_MAX is
	  already defined or not.

2007-05-22 14:33  

	* [r181] tb2enumvar.cpp, tb2enumvar.hpp, tb2main.cpp, tb2types.hpp,
	  tb2wcsp.cpp: minsumdiffusion option M suivi du nombre max
	  d'iterations:
	  
	  ./toulbar2 ../test/cap131.wcsp edcM100

2007-05-03 16:04  

	* [r180] tb2constraint.hpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2wcsp.cpp: ajout de filtrage dans les sommes de fonctions
	  naires

2007-05-02 08:17  

	* [r179] tb2pedigree.cpp: Pedigree only: bug correction on genotype
	  prior in equivalent allele frequency mode.

2007-04-30 14:41  

	* [r178] tb2main.cpp: *** empty log message ***

2007-04-30 14:30  

	* [r177] tb2main.cpp: MENDELSOFT: assess problem files are always
	  pedigrees

2007-04-30 14:12  

	* [r176] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2types.hpp, tb2wcsp.cpp: For pedigree problems:
	  - prior on allele probability distribution can be given from the
	  command line
	  - in Bayesian MPE, save corrected pedigree by replacing erroneous
	  genotypes by their MPE prediction.

2007-04-30 14:05  

	* [r175] tb2solver.cpp: reduce store memory usage: preprocessing
	  step is made not backtrackable.

2007-04-30 07:57  

	* [r174] Makefile, tb2abstractconstr.hpp, tb2binconstr.cpp,
	  tb2boostgraph.cpp, tb2constraint.hpp, tb2main.cpp,
	  tb2pedigree.cpp, tb2reader.cpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp: ONLY IF COMPILED FLAG BOOST IS DEFINED (see
	  Makefile)
	  new option (m) for minimum degree variable reordering,
	  and (setenv TB2GRAPH) for some graph parameter computations.
	  
	  need Boost and Boost Graph libraries installed and a recent gcc
	  compiler (>4.0).

2007-04-24 16:04  

	* [r173] tb2boostgraph.cpp, tb2pedigree.cpp, tb2reader.cpp:
	  connection to Boost Graph library in order to compute WCSP graph
	  parameters (diameter, etc).

2007-04-24 16:02  

	* [r172] tb2constraint.hpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2solver.hpp, tb2wcsp.hpp: remove unecessary "using namespace
	  std" in headers.

2007-04-24 14:07  

	* [r171] rungenerate.sh, tb2binconstr.hpp, tb2constraint.cpp,
	  tb2constraint.hpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2randomgen.cpp, tb2reader.cpp, tb2system.hpp,
	  tb2ternaryconstr.hpp, tb2types.hpp, tb2wcsp.cpp: amelioration
	  generateur aleatoire et efficience join naire.
	  bug elimination variable general corrige (quality certified).

2007-04-19 14:57  

	* [r170] tb2naryconstr.cpp: petit bug dans le dump des contraintes
	  naires corrige

2007-04-19 14:48  

	* [r169] rungenerate.sh, tb2binconstr.hpp, tb2constraint.hpp,
	  tb2main.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2randomgen.cpp, tb2randomgen.hpp, tb2ternaryconstr.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: -un bug d'elimination generale moins,
	  encore
	  -ajout de contraintes naires au generateur. Le format
	  a change un petit peu:
	  
	  bin-n-m-tight-num-num-seed
	  tern-n-m-tight-num-num-seed
	  nary-n-m-tight-num-num-...-seed

2007-04-19 09:39  

	* [r168] tb2arithmetic.cpp, tb2main.cpp, tb2paretopair.hpp,
	  tb2types.hpp, tb2wcsp.cpp: first attempt to add bi-criteria costs
	  (PARETOPAIR in tb2types).
	  
	  warning! tree search and propagation need to be changed to work
	  properly with bicriteria costs.

2007-04-17 15:44  

	* [r167] tb2main.cpp, tb2pedigree.cpp, tb2randomgen.cpp,
	  tb2randomgen.hpp, tb2rational.hpp, tb2reader.cpp, tb2store.hpp,
	  tb2system.hpp, tb2types.hpp, tb2utils.hpp, tb2variable.cpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: change header dependencies: tb2types
	  calls tb2utils which calls tb2system
	  
	  methods for default Cost types (int and long long) are moved in
	  tb2system.
	  
	  random functions are provided by tb2system

2007-04-17 11:59  

	* [r166] tb2constraint.hpp, tb2enumvar.cpp, tb2main.cpp,
	  tb2randomgen.cpp, tb2randomgen.hpp, tb2types.hpp, tb2vac.cpp,
	  tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp:
	  -correct degree computation in generic variable elimination.
	  -remove compilation warnings

2007-04-03 13:07  

	* [r165] tb2binconstr.hpp, tb2constraint.cpp, tb2constraint.hpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2ternaryconstr.hpp,
	  tb2wcsp.cpp: elimination de var general clean de bugs
	  le generateur aleatoire peut etre utile!

2007-04-02 13:10  

	* [r164] tb2randomgen.cpp, tb2randomgen.hpp: j'avais oublie les
	  fichiers du generateur aleatoire

2007-04-02 13:09  

	* [r163] evalresults.awk, runall.sh, rungenerate.sh,
	  tb2abstractconstr.hpp, tb2binconstr.hpp, tb2btlist.hpp,
	  tb2constraint.cpp, tb2constraint.hpp, tb2enumvar.cpp,
	  tb2main.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp, tb2reader.cpp,
	  tb2solver.cpp, tb2solver.hpp, tb2ternaryconstr.hpp, tb2types.hpp,
	  tb2variable.cpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp:
	  -integration d'un generateur de wcsp aleatoire d'arite quelconque
	  ex: ./toulbar2 ternary10-10-80-20-20-0 resolution d'un wcsp
	  aleatoire de
	  
	  10 vars 10 val 80% de tightness pour toutes les ctrs
	  20 binary ctrs et 20 ternary ctrs
	  0 de seed (c'est optionel)
	  
	  -ajout de scripts pour des tests de correction: runall.sh,
	  rungenerate.sh
	  
	  -bugs de l'elimination de var d'arite quelconque corriges
	  (il en reste 1 au moins)
	  
	  options: ./toulbar2 problem.wcsp p5e
	  
	  elimination en preprocessing de degres <= 5
	  pendant la recherche <= 3

2007-03-21 18:19  mhz

	* [r162] tb2system.hpp, tb2types.hpp, tb2vac.cpp, tb2vac.hpp,
	  tb2vacutils.cpp, tb2vacutils.hpp, tb2wcsp.cpp: Minor changes to
	  fully integrate VAC.

2007-03-21 09:26  

	* [r161] tb2binconstr.hpp, tb2ternaryconstr.hpp: Propagation of
	  binary constraints:
	  EDAC does not need to find a full support in DAC direction.
	  
	  For ternary constraints, let EDAC repeat DAC work as it can
	  produce better lower bounds on pedigree instances.

2007-03-21 09:05  

	* [r160] Makefile, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2btqueue.cpp, tb2btqueue.hpp, tb2enumvar.hpp, tb2main.cpp,
	  tb2naryconstr.cpp, tb2pedigree.cpp, tb2queue.cpp, tb2queue.hpp,
	  tb2rational.hpp, tb2system.hpp, tb2types.hpp, tb2vac.cpp,
	  tb2vac.hpp, tb2vacutils.cpp, tb2vacutils.hpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: add VAC/VAC alt/VAC dec experimental
	  propagations (options V/A/D).
	  
	  need rational costs (see tb2types.hpp parameter) and GNU GMP
	  library.
	  
	  warning! make virtual some EnumeratedVariable methods.

2007-03-20 13:33  

	* [r159] tb2abstractconstr.hpp, tb2binconstr.hpp,
	  tb2constraint.hpp, tb2enumvar.cpp, tb2main.cpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2reader.cpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2types.hpp,
	  tb2variable.cpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: version
	  avec variable elimination plus general

2007-03-01 17:22  

	* [r158] tb2pedigree.cpp, tb2pedigree.hpp, tb2solver.cpp,
	  tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp:
	  Hidden toulbar2 options using system environment variables:
	  
	  TB2DEGREE allows to save true variable degree histogram in a file
	  after preprocessing and controls problem reduction (variable with
	  true degree > atoi(TB2DEGREE) are eliminated). Problem is saved
	  in a file (wcsp format).
	  
	  TB2GRAPH allows to save the current constraint graph in DIMACS
	  format.
	  (can be used conjunctly with TB2DEGREE)

2007-03-01 17:14  

	* [r157] tb2system.cpp, tb2system.hpp, tb2types.hpp: bug correction
	  for rationals: TProbs and Cost type definitions are controled by
	  different compiler macros.

2007-02-28 09:18  

	* [r156] tb2solver.cpp: * to generate all (optimal) solutions:
	  uncomment one line in tb2solver.cpp
	  
	  * pedigree: print solutions with individual numbers

2007-01-30 09:46  

	* [r155] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2types.hpp, tb2wcsp.cpp: new option 'g': sort pedigree by
	  increasing generation number and if equal by increasing
	  individual number
	  
	  print the number of generations found after reading a pedigree
	  file.

2007-01-29 16:12  

	* [r154] tb2pedigree.cpp, tb2pedigree.hpp, tb2types.hpp,
	  tb2wcsp.cpp: modifications to be able to read pedigree
	  files with consecutive and non consecutive alleles

2007-01-24 15:49  

	* [r153] tb2main.cpp, tb2solver.cpp, tb2solver.hpp: new option "x"
	  : read a solution file (in toolbar/toulbar2 format) and print its
	  cost

2007-01-24 13:55  

	* [r152] tb2ternaryconstr.cpp, tb2ternaryconstr.hpp: polynomial
	  time propagation for ternary constraints!

2007-01-19 18:01  

	* [r151] tb2binconstr.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp: bug patch for flag t (preproject ternary)
	  in method projectTernaryBinary.

2007-01-17 17:47  

	* [r150] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2solver.cpp: dans les pedigrees, si le fichier .errors existe
	  il done
	  d'info sur les bonnes corrections. Ce fichier c'est le
	  simulateur de pedigrees qui le genere.

2007-01-17 12:00  

	* [r149] tb2pedigree.cpp: show genotype priors (for founders).
	  freqallele initialized by 1 and not 0.

2007-01-17 11:58  

	* [r148] tb2main.cpp: if available, read initial upper bound
	  depending on Cost type.

2007-01-17 11:57  

	* [r147] tb2solver.cpp: for each solution, print log10likelihood.

2007-01-17 11:57  

	* [r146] tb2system.cpp, tb2system.hpp, tb2types.hpp: new typedef
	  long double Double.

2007-01-16 17:01  

	* [r145] tb2binconstr.hpp, tb2ternaryconstr.hpp: bug correction on
	  preprocessing ternary constraints.

2007-01-15 10:17  

	* [r144] tb2ternaryconstr.hpp: DAC and EAC enforce strong supports
	  (ternary + binary + unary costs)

2007-01-15 09:01  

	* [r143] tb2pedigree.cpp: genotype frequency: case i!=j must be
	  counted twice.

2007-01-15 08:27  

	* [r142] tb2wcsp.cpp: add an overflow test in Prob2Cost method.

2007-01-12 08:56  

	* [r141] tb2constraint.hpp, tb2pedigree.cpp, tb2reader.cpp,
	  tb2system.cpp, tb2system.hpp, tb2types.hpp, tb2wcsp.cpp: petites
	  modifications compete
	  et double, long double pour les bayesiens

2007-01-10 10:54  

	* [r140] tb2main.cpp, tb2pedigree.cpp, tb2reader.cpp,
	  tb2system.hpp, tb2ternaryconstr.hpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: unstable version..

2007-01-09 18:57  

	* [r139] tb2wcsp.cpp: default value compatible with BTD in ERGO
	  format.

2007-01-09 18:56  

	* [r138] tb2pedigree.cpp: corrections in mendel and founder CPT.

2007-01-09 15:08  

	* [r137] tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2wcsp.cpp:
	  bug repare en creation de contraintes ternaires
	  quand une variable est deja affecte

2007-01-09 14:20  

	* [r136] tb2btlist.hpp, tb2constraint.hpp, tb2enumvar.hpp,
	  tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp, tb2reader.cpp,
	  tb2solver.cpp, tb2solver.hpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: ajout option 'y'
	  resolution d'un fichier .pre en le traduisant a un reseaux
	  bayesien et en traduisant les probas a coux
	  
	  ./toulbar2 mpe01.pre y errorg resolution foundersprobclass

2006-12-28 17:49  

	* [r135] tb2wcsp.cpp: remove wrong warning

2006-12-28 17:44  

	* [r134] tb2ternaryconstr.cpp: code optimization for
	  findFullSupportEAC on ternary constraints (avoid unecessary calls
	  to findSupport and propagate).

2006-12-14 18:27  

	* [r133] tb2abstractconstr.hpp, tb2binconstr.hpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp, tb2wcsp.cpp, tb2wcsp.hpp: -fixed bug in
	  ternary heuristic preprocessing
	  -added functions to do abstract sum of constraints
	  first, next of tuples and finally sum of
	  any type of constraint in wcsp

2006-12-13 16:32  

	* [r132] tb2main.cpp, tb2types.hpp, tb2wcsp.cpp: new option "f" to
	  enforce FDAC instead of EDAC

2006-12-08 14:39  

	* [r130] tb2wcsp.cpp: toulbar2 version 0.5

2006-12-06 12:23  

	* [r129] tb2abstractconstr.hpp, tb2naryconstr.cpp,
	  tb2naryconstr.hpp: changes on naryconstraints
	  added sum of two naryconstraints

2006-12-05 10:23  

	* [r128] Makefile, tb2binconstr.cpp, tb2enumvar.cpp,
	  tb2ternaryconstr.cpp, tb2wcsp.cpp: check constraint deconnection
	  after unary project in findSupport methods.

2006-12-01 16:31  

	* [r127] tb2enumvar.cpp: move assert.

2006-11-30 17:10  

	* [r126] Makefile: flags for compilation in static mode

2006-11-30 17:09  

	* [r125] tb2solver.cpp: debugging for LDS

2006-11-30 14:11  

	* [r124] tb2ternaryconstr.cpp: bug correction in EDAC on ternary
	  constraints.

2006-11-30 14:05  

	* [r123] tb2main.cpp: if initial upperbound equal to zero then do
	  nothing.

2006-11-27 17:47  

	* [r122] tb2arithmetic.cpp, tb2arithmetic.hpp, tb2binconstr.cpp,
	  tb2binconstr.hpp, tb2constraint.hpp, tb2enumvar.cpp, tb2main.cpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2solver.cpp,
	  tb2solver.hpp, tb2ternaryconstr.cpp, tb2ternaryconstr.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: save current problem into
	  a file in wcsp format.

2006-11-27 15:24  

	* [r121] tb2main.cpp: solution found by local search can be saved
	  in a file ("sol") if option "w" is used.

2006-11-27 13:50  

	* [r120] narycsp, tb2main.cpp: option "i": initial upperbound found
	  by INCOP local search solver ./narycsp

2006-11-27 12:52  

	* [r119] tb2reader.cpp, tb2solver.cpp: ignore null constraints when
	  reading inputfile

2006-11-24 16:18  

	* [r118] tb2abstractconstr.hpp, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2enumvar.cpp, tb2naryconstr.cpp, tb2naryconstr.hpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2wcsp.cpp: few bug
	  corrections in reconnect/assign/propagate.

2006-11-20 13:48  

	* [r117] Makefile: optimization flags by default

2006-11-20 12:28  

	* [r116] Makefile: libtb2.so compiled with -fPIC option to be
	  compatible on SUN Solaris.

2006-11-15 17:45  

	* [r114] Makefile, tb2main.cpp, tb2solver.cpp, tb2solver.hpp,
	  tb2system.hpp, tb2types.hpp, tb2wcsp.cpp: new option "l" for
	  limited discrepancy search.

2006-11-14 15:46  

	* [r113] tb2variable.cpp: bug correction for nary constraints with
	  preproject heuristic.

2006-11-13 12:21  

	* [r112] tb2main.cpp, tb2solver.cpp, tb2types.hpp, tb2wcsp.cpp: new
	  option "d" : dichotomic branching : if domain size > 10 then
	  split domain in two parts instead of value-based binary
	  branching.

2006-11-09 10:08  

	* [r111] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2reader.cpp, tb2solver.cpp, tb2store.hpp, tb2types.hpp,
	  tb2wcsp.cpp: new option 'w' to save the last solution found into
	  a file (in the case of pedigree problem, save the corrected
	  pedigree instead).
	  
	  pedigree format: accept non-consecutive allele numbers.

2006-11-09 10:03  

	* [r110] tb2rational.hpp: add opertors * and / for rationals.

2006-11-07 13:06  

	* [r109] tb2arithmetic.cpp, tb2binconstr.hpp, tb2rational.hpp,
	  tb2store.hpp, tb2system.cpp, tb2system.hpp, tb2ternaryconstr.cpp,
	  tb2types.hpp, tb2variable.hpp, tb2wcsp.cpp: Type Cost can be
	  rational (with very basic operations implemented).

2006-11-06 15:00  

	* [r108] tb2naryconstr.cpp: suppress compilation warning.

2006-11-06 13:15  

	* [r107] tb2wcsp.cpp: (correction of assert error in debug mode:)
	  in the CSP case, EDAC on ternary constraints can be stronger than
	  GAC due to binary constraints associated to each ternary which
	  are taken into account by EDAC but not GAC.

2006-10-25 15:28  

	* [r106] tb2abstractconstr.hpp, tb2binconstr.hpp, tb2enumvar.cpp,
	  tb2naryconstr.cpp, tb2naryconstr.hpp, tb2reader.cpp, tb2wcsp.cpp,
	  tb2wcsp.hpp: nary constraints added
	  working inside search by projecting when only two variables
	  remain
	  
	  added: -abstract class with basic operations inf file
	  tb2abstractconstr.hpp
	  -implementation class by stl template map<string,Cost>,
	  with a default_cost, returned when the tuple is not stored
	  files: tb2naryconstr.hpp, tb2naryconstr.cpp
	  
	  -implementation of projection by minimisation
	  independent of search and of complexity O(|f|)

2006-10-25 09:30  

	* [r105] tb2binconstr.hpp, tb2constraint.hpp, tb2enumvar.cpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2wcsp.cpp: better
	  EDAC for ternary constraints.

2006-10-25 09:29  

	* [r104] tb2btlist.hpp: bug correction in inBTList.

2006-10-23 16:14  

	* [r103] tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.hpp,
	  tb2enumvar.cpp, tb2enumvar.hpp, tb2queue.cpp, tb2queue.hpp,
	  tb2ternaryconstr.cpp, tb2ternaryconstr.hpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: EDAC on binary constraints and
	  "restricted"(to avoid infinite loop) EDAC on ternary constraints.

2006-10-19 14:53  

	* [r102] tb2solver.cpp: bug correction in unused variable
	  heuristic..

2006-10-19 14:42  

	* [r101] tb2store.hpp: storable data now compile for 64-bits
	  computers

2006-10-19 14:04  

	* [r100] tb2enumvar.cpp, tb2main.cpp, tb2solver.cpp, tb2solver.hpp,
	  tb2types.hpp, tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp, toulbar2.hpp: conflict-based variable heuristic
	  associated to binary branching (see option "c") based on Lecoutre
	  et al ECAI-06

2006-10-19 14:02  

	* [r99] tb2abstractconstr.hpp, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2constraint.cpp, tb2constraint.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp: FDAC on ternary constraints.

2006-10-19 14:00  

	* [r98] tb2pedigree.cpp, tb2reader.cpp, tb2utils.hpp: new template
	  function in utils.hpp: to_string(T *) convert any printable
	  argument into a string.

2006-10-17 08:57  

	* [r97] tb2binconstr.hpp: new basic member functions for
	  BinaryConstraint: project and extend

2006-10-17 08:55  

	* [r96] tb2binconstr.cpp: bug correction in findfullsupport: use
	  index instead of value in deltaCostsY (index==value if domains
	  start at zero)

2006-10-16 11:16  

	* [r95] tb2solver.cpp: *** empty log message ***

2006-10-16 11:07  

	* [r94] Makefile, tb2queue.cpp, tb2queue.hpp, tb2solver.cpp,
	  tb2solver.hpp, tb2types.hpp, tb2variable.cpp, tb2wcsp.hpp: For
	  ANSI ISO C++ compatibility purposes:
	  -long long replaced by Long (typedef long long Long)
	  -array allocated in the stack with a variable size => replace
	  size by MAX_DOMAIN_SIZE in case of compilation problem.
	  -change unassignedVars in tb2solver from Domain type to
	  BTList<Value> type to avoid assert problem when the number of
	  variables is large.

2006-10-13 09:36  

	* [r92] Makefile: set compilation optimization flags.

2006-10-13 09:27  

	* [r91] tb2main.cpp, tb2types.hpp, tb2wcsp.cpp: new release version
	  0.3

2006-10-11 08:11  

	* [r90] tb2pedigree.cpp, tb2pedigree.hpp: pedigree: print number of
	  individuals with a genotyped descendant.

2006-10-11 08:10  

	* [r89] tb2main.cpp, tb2variable.cpp, tb2wcsp.cpp: boosting search
	  with variable elimination flag initially disconnected from
	  constraint propagatation in order to avoid elimination occuring
	  before its data structure is initialized.

2006-10-11 08:04  

	* [r88] tb2types.hpp: temporary option "o" flag: priority queue for
	  AC and DAC.

2006-10-11 07:58  

	* [r86] tb2binconstr.hpp: binary constraint getcost: incompatible
	  with preproject?!

2006-10-10 14:03  

	* [r85] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp: new pedigree
	  reader: discard any individual without typed descendant.

2006-10-10 14:01  

	* [r84] tb2wcsp.hpp, toulbar2.hpp: compute number of unassigned
	  vars and connected constrs

2006-10-10 14:01  

	* [r83] tb2types.hpp, tb2wcsp.cpp: main options t and h: separate
	  preproject ternary from heurtically guided preproject.

2006-10-10 13:59  

	* [r82] tb2solver.cpp: solve: give nb unassigned vars and connected
	  constrs before the search.

2006-10-10 13:58  

	* [r81] tb2binconstr.hpp: warning! binary getcost checks the
	  current upperbound before substracting with deltas.

2006-10-09 12:39  

	* [r80] tb2main.cpp: bug correction: do not set
	  elimVarWithSmallDegree before the wcsp is read.

2006-10-09 10:53  

	* [r79] tb2arithmetic.hpp, tb2binconstr.hpp, tb2constraint.cpp,
	  tb2constraint.hpp, tb2enumvar.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp, tb2variable.cpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: - restore correct
	  solution after variable elimination.
	  - preproject ternary to binary constraints (heuristic order based
	  on constraint mean tightness)

2006-10-09 10:49  

	* [r78] tb2types.hpp: extend MAX_DOM_SIZE to 1000000!

2006-10-09 10:48  

	* [r77] tb2solver.hpp: *** empty log message ***

2006-10-09 10:48  

	* [r76] tb2solver.cpp: restore correct assignements for eliminated
	  variables each time a solution is found.

2006-10-09 10:44  

	* [r75] tb2main.cpp: new command line format.
	  toulbar2 filename upperbound options

2006-10-09 10:43  

	* [r74] tb2enumvar.cpp: bug correction in restoreSolution: check
	  consistency between variable order and binary constraints.

2006-10-09 10:41  

	* [r73] tb2abstractconstr.hpp: bug correction in
	  getSmallestVarIndexInScope for ternary constraints.

2006-10-09 10:06  

	* [r72] tb2system.hpp: bug correction in cost2log2: return -1 if
	  cost = 0

2006-09-21 16:16  

	* [r71] tb2store.hpp: dynamic realloc for storable stacks.

2006-09-19 17:37  

	* [r70] tb2main.cpp, tb2pedigree.cpp, tb2pedigree.hpp,
	  tb2reader.cpp, tb2solver.cpp, tb2types.hpp, tb2wcsp.cpp,
	  tb2wcsp.hpp: new pedigree class with two methods:
	  -read pedigree file and create corresponding wcsp
	  -print correction (genotype data removal for a list of
	  individuals) when a solution is found

2006-09-18 13:25  

	* [r69] tb2pedigree.cpp, tb2reader.cpp, tb2wcsp.cpp: isternary and
	  maxdomainsize are updated in wcsp class.

2006-09-18 08:52  

	* [r68] tb2pedigree.cpp: special wcsp flag isternary was not
	  updated in pedigree!

2006-09-18 08:52  

	* [r67] tb2reader.cpp, tb2ternaryconstr.hpp: change costs[] data
	  structure index access for ternary constraints.

2006-09-15 15:00  

	* [r66] tb2pedigree.cpp, tb2reader.cpp, tb2wcsp.hpp: modify
	  existing reader:
	  if problem file has extension ".pre" then read it as a pedigree
	  file format.

2006-09-14 13:43  

	* [r65] tb2binconstr.cpp, tb2binconstr.hpp: petit changement dans
	  la fonction propagate
	  d'une contrainte binaire pour reparer un bug qui arrivait
	  lors de l'interaction avec l'elimination de
	  variable pendant la recherche

2006-09-11 14:31  

	* [r64] tb2system.hpp, tb2types.hpp: due to a compilation problem,
	  the function
	  logarithm was changed

2006-09-11 14:30  

	* [r63] tb2solver.cpp, tb2store.hpp: due to a compilation problem,
	  a function
	  was placed somewhere else

2006-09-11 14:28  

	* [r62] tb2main.cpp: added option "p" in addition to "e" for
	  chosing if
	  the elimination of variables is done during search (e)
	  or only in preprocessing (p)

2006-09-11 14:25  

	* [r61] tb2btlist.hpp, tb2queue.cpp, tb2queue.hpp: add print for
	  queues and check the same element is not inserted twice (in
	  assert mode).

2006-09-11 14:23  

	* [r60] tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.cpp,
	  tb2constraint.hpp, tb2enumvar.cpp, tb2enumvar.hpp,
	  tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp: add
	  boosting search with variable elimination of degree <= 2 (taking
	  into account ternary also).

2006-09-11 14:20  

	* [r59] tb2reader.cpp: add ternary constraints. propagatation:
	  project ternary to binary as soon as a variable is assigned.

2006-09-11 13:52  

	* [r58] tb2abstractconstr.hpp, tb2ternaryconstr.cpp,
	  tb2ternaryconstr.hpp: add ternary constraints. propagatation:
	  project ternary to binary as soon as a variable is assigned.

2006-09-11 13:36  

	* [r57] Makefile: *** empty log message ***

2006-07-12 15:18  

	* [r56] tb2abstractconstr.hpp, tb2enumvar.cpp, tb2enumvar.hpp,
	  tb2main.cpp, tb2types.hpp, tb2variable.cpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: new option: e
	  variable elimination for variables with small degree (<=1)
	  performed in preprocessing before tree search.

2006-07-12 15:17  

	* [r55] tb2solver.cpp, toulbar2.hpp: allows preprocessing to be
	  done before tree search.

2006-07-12 15:14  

	* [r54] tb2binconstr.hpp: method getCost is made public.

2006-07-12 15:13  

	* [r53] tb2queue.cpp, tb2queue.hpp: new operation for accessing
	  queue data structure in FIFO order:
	  pop_first() returns the first inserted element

2006-05-15 13:20  

	* [r50] iloglue.cpp: add AllDiff constraints for some problems.

2006-05-12 14:09  

	* [r49] tb2reader.cpp: asserts wrongly positioned.

2006-05-12 14:09  

	* [r48] tb2main.cpp: show solutions if verbosity >= 1

2006-05-12 14:08  

	* [r47] tb2solver.cpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: new
	  function to print a WeightedCSP.

2006-05-12 14:07  

	* [r46] tb2enumvar.cpp, tb2intervar.cpp: Major bug correction!
	  support must be updated when a variable is assigned because it
	  can be inspected by findUnarySupport during forward checking for
	  instance.

2006-05-12 14:05  

	* [r45] Makefile, tb2domain.cpp, tb2enumvar.hpp: optimization
	  compile flag WCSPFORMATONLY used if all enumerated domains start
	  at value 0.

2006-05-12 08:13  

	* [r44] iloglue.cpp: very short documentation

2006-05-11 17:26  

	* [r43] toulbar2.hpp: *** empty log message ***

2006-05-11 17:26  

	* [r42] tb2types.hpp, tb2wcsp.hpp: Link with Ilog Solver (throw
	  contradiction => solver.fail())

2006-05-11 17:25  

	* [r41] tb2store.hpp: bug in assert() of restore(depth).

2006-05-11 17:24  

	* [r40] tb2reader.cpp: do not stop if wrong initial number of
	  constraints

2006-05-11 17:23  

	* [r39] tb2intervar.cpp: Link with Ilog Solver (instead of throwing
	  a contradiction, call solver.fail method)

2006-05-11 17:22  

	* [r38] tb2enumvar.cpp: Link with Ilog Solver.
	  
	  bug correction when used with external solvers:
	  removeValue(value) may be called with value outside the current
	  domain

2006-05-11 17:20  

	* [r37] iloglue.cpp: Link with Ilog Solver: add a global constraint
	  representing a WCSP network and managed by ToulBar2

2006-05-11 17:19  

	* [r36] Makefile: special flags to compile with Ilog Solver

2006-05-09 12:30  

	* [r35] tb2store.hpp: new restore(depth) method to jump back
	  several backtrackable worlds.

2006-05-09 12:29  

	* [r34] tb2binconstr.cpp, tb2reader.cpp: unary constraints are
	  first propagated after complete network loading to avoid creating
	  binary constraints with already assigned variables.

2006-05-09 11:45  

	* [r33] tb2reader.cpp: bug correction when reading unary
	  constraints.
	  
	  check EOF when reading a wcsp.

2006-04-10 16:25  

	* [r32] tb2abstractconstr.hpp, tb2arithmetic.cpp,
	  tb2arithmetic.hpp, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2btlist.hpp, tb2enumvar.cpp, tb2enumvar.hpp, tb2intervar.hpp,
	  tb2reader.cpp, tb2solver.cpp, tb2solver.hpp, tb2types.hpp,
	  tb2variable.cpp, tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp,
	  toulbar2.hpp: cleaning header dependencies. template for
	  getBinaryCost in tb2binconstr.

2006-04-07 17:41  

	* [r31] Makefile, tb2abstractconstr.cpp, tb2abstractconstr.hpp,
	  tb2arithmetic.cpp, tb2arithmetic.hpp, tb2binconstr.cpp,
	  tb2binconstr.hpp, tb2btlist.hpp, tb2constraint.cpp,
	  tb2constraint.hpp, tb2domain.cpp, tb2domain.hpp, tb2enumvar.cpp,
	  tb2enumvar.hpp, tb2intervar.cpp, tb2intervar.hpp, tb2queue.cpp,
	  tb2queue.hpp, tb2reader.cpp, tb2solver.cpp, tb2solver.hpp,
	  tb2store.hpp, tb2system.hpp, tb2types.hpp, tb2variable.cpp,
	  tb2variable.hpp, tb2wcsp.cpp, tb2wcsp.hpp, toulbar2.hpp: new
	  simplified version still limited to MFDAC (each WCSP object
	  instance is mono-criterion)
	  clear separation between solver and global constraint via
	  toulbar2.hpp protocol class.

2006-01-12 17:08  

	* [r29] tb2arithmetic.hpp: type correction of deltaCost for bounds
	  in Supxyc

2006-01-12 13:42  

	* [r28] tb2reader.cpp: wcsp file format accept arithmetic binary
	  soft constraints:
	  semantic: soft(x [>=, >, <=, <, =] y + cst)
	  example soft(x >= y + cst) = max( y + cst - x , 0 )
	  wcsp syntax:
	  2 xindex yindex -1 [>=, >, <=, <, =] cst

2006-01-12 13:31  

	* [r27] tb2binconstr.cpp, tb2binconstr.hpp, tb2constraint.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: add Supxyc soft constraint

2006-01-12 13:30  

	* [r26] tb2variable.cpp: send the previous bounds state with the
	  assign event

2006-01-12 13:29  

	* [r25] tb2solver.cpp: check if all var are assigned when a
	  solution is found.
	  
	  variable ordering heuristic: add epsilon when comparing two reals

2006-01-12 13:27  

	* [r24] tb2reader.cpp: wcsp reader accept negative domain size
	  meaning
	  domain represented by an interval

2006-01-12 13:26  

	* [r23] tb2costvar.cpp, tb2costvar.hpp: setMaxUnaryCost with two
	  parameters (value and cost).
	  add projectInfCost and projectSupCost

2006-01-12 13:23  

	* [r22] tb2abstractconstr.cpp, tb2abstractconstr.hpp,
	  tb2arithmetic.cpp, tb2arithmetic.hpp: add Supxyc soft constraint

2006-01-10 16:48  

	* [r21] tb2binconstr.hpp, tb2btlist.hpp, tb2costvar.hpp,
	  tb2reader.cpp, tb2solver.cpp, tb2store.hpp, tb2types.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: Improve a bit comments in the code.

2006-01-04 09:23  

	* [r20] Makefile: -pg flag optinal.

2005-12-14 09:21  

	* [r19] tb2search.cpp, tb2solver.cpp, tb2solver.hpp: Separation
	  between the solver (and the problem variables) and one (or
	  several) WCSP(s).

2005-12-14 09:19  

	* [r18] Makefile, tb2binconstr.cpp, tb2binconstr.hpp,
	  tb2btlist.hpp, tb2constraint.hpp, tb2costvar.cpp, tb2costvar.hpp,
	  tb2main.cpp, tb2queue.cpp, tb2queue.hpp, tb2reader.cpp,
	  tb2store.hpp, tb2types.hpp, tb2variable.cpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: FDAC added. Three event queues for
	  increase/decrease, value removal, and projectCostFromZero (used
	  by DAC).

2005-11-23 17:15  

	* [r17] Makefile: profiling option

2005-11-23 17:14  

	* [r16] tb2wcsp.cpp, tb2wcsp.hpp: ifdef FASTWCSP accelerate
	  propagationNC
	  
	  new method return number of remaining values:
	  getDomainSizeSum

2005-11-23 17:11  

	* [r15] tb2variable.cpp, tb2variable.hpp: ifdef FASTWCSP accelerate
	  remove

2005-11-23 17:08  

	* [r14] tb2types.hpp: showSolutions flag

2005-11-23 17:08  

	* [r13] tb2system.cpp, tb2system.hpp: inline cost2log2

2005-11-23 17:07  

	* [r12] tb2search.cpp: new (bad?) heuristics:
	  nary choice point with no value heuristic
	  variable ordering following the file order

2005-11-23 17:06  

	* [r11] tb2queue.cpp, tb2queue.hpp: add pop_min() method in Queue

2005-11-23 17:05  

	* [r10] tb2main.cpp: add options:
	  second parameter = verbosity
	  third parameter = print all solutions

2005-11-23 17:03  

	* [r9] tb2btlist.hpp: add DLink *getElt(T v) to retreive DLink from
	  an iterator.

2005-11-23 16:59  

	* [r8] tb2costvar.cpp, tb2costvar.hpp: ifdef FASTWCSP accelerate
	  projectNC, remove, and unary cost operations.
	  
	  add a print in verification of local consistency
	  
	  bug corrections:
	  save/restore timeStamp in projectNC
	  update support,maxcost,maxcostval,deltacost in assignWCSP

2005-11-23 16:57  

	* [r7] tb2binconstr.cpp, tb2binconstr.hpp: ifdef FASTWCSP
	  accelerate findsupport and projection.

2005-11-23 16:55  

	* [r6] tb2store.hpp: bug correction: make assignment operator
	  backtrackable!

2005-11-17 09:25  

	* [r5] Makefile: hand-made generic makefile

2005-11-17 09:14  

	* [r4] ., tb2binconstr.cpp, tb2binconstr.hpp, tb2btlist.hpp,
	  tb2constraint.hpp, tb2costvar.cpp, tb2costvar.hpp, tb2domain.cpp,
	  tb2domain.hpp, tb2main.cpp, tb2queue.hpp, tb2reader.cpp,
	  tb2search.cpp, tb2store.hpp, tb2system.cpp, tb2system.hpp,
	  tb2types.hpp, tb2utils.hpp, tb2variable.cpp, tb2variable.hpp,
	  tb2wcsp.cpp, tb2wcsp.hpp: Imported sources

Powered By FusionForge