Remarques sur les révisions

Nom de version : Release 0.9.4.0

Notes

numerous bugs correction and cost functin factorisation 

Journaux

2011-01-27 15:18  degivry
	* validation/default/cap131.wcsp, validation/default/zebra.wcsp:
	  new wcsp examples
2011-01-27 15:14  degivry
	* src/tb2main.cpp: add pairwise decomposition help message
2011-01-27 15:14  degivry
	* 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  degivry
	* src/tb2main.cpp: clean help messages
2011-01-27 15:10  degivry
	* misc/script/Makefile: update makefile
2011-01-27 15:06  degivry
	* misc/script/cp2wcsp.awk, misc/script/libcp.awk,
	  misc/script/solution2cp.awk: converter for *.cp format to *.wcsp
2011-01-27 15:04  degivry
	* misc/script/rungenerate.sh: automatic problem tests
2011-01-27 15:02  degivry
	* doc/WcnfFormat.txt: bad file
2011-01-27 15:02  degivry
	* doc/CpWcspFormats.html, doc/CpWcspFormats.txt,
	  doc/UAI08Format.txt, doc/WcnfFormat.txt, doc/WcnfFormats.txt:
	  file format description

2011-01-27 14:50  degivry
	* doc/ToulBar2.txt: version 0.9.4
2011-01-13 18:13  degivry
	* src/tb2naryconstr.cpp, src/tb2ternaryconstr.hpp: preproject
	  follows an order compatible with DAC variable ordering
2011-01-13 18:13  degivry

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

2011-01-11 22:29  degivry

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

2011-01-11 22:27  degivry

	* src/tb2naryconstr.cpp: initialize existXZ and existYZ

2011-01-11 17:01  degivry

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

2011-01-11 15:48  degivry

	* 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  degivry

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

2011-01-11 14:11  degivry

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

2011-01-11 10:48  degivry

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

2011-01-11 10:29  degivry

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

2011-01-11 10:10  degivry

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

2011-01-11 10:09  degivry

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

2011-01-10 16:56  degivry

	* 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  degivry

	* 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  degivry

	* 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  degivry

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

2011-01-06 16:12  degivry

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

2011-01-06 16:11  degivry

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

2011-01-06 16:10  degivry

	* 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  degivry

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

2011-01-05 17:57  degivry

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

2011-01-05 17:57  degivry

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

2011-01-05 17:56  degivry

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

2011-01-05 17:56  degivry

	* 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  degivry

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

2011-01-05 17:53  degivry

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

2011-01-05 17:53  degivry

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

2011-01-05 17:51  degivry

	* src/tb2solver.cpp: add explicit type conversion.

2011-01-05 17:47  degivry

	* 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  degivry

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

2011-01-05 17:45  degivry

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

2011-01-05 13:54  degivry

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

2011-01-04 17:51  degivry

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

2011-01-04 17:49  degivry

	* 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  degivry

	* 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  degivry

	* 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  degivry

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

2010-12-08 11:44  degivry

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

2010-11-29 13:51  degivry

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

2010-11-29 08:21  degivry

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

2010-11-28 21:39  degivry

	* 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  degivry

	* 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  degivry

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

2010-11-28 21:31  degivry

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

2010-11-24 14:49  degivry

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

2010-11-24 14:45  degivry

	* 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  degivry

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

2010-11-24 14:41  degivry

	* src/tb2reader.cpp: remove compile warning

2010-11-23 10:53  degivry

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

2010-11-23 10:52  degivry

	* 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  degivry

	* 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  degivry

	* 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  allouche

	* 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  degivry

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

2010-11-10 22:57  degivry

	* validation/default/ssa0432-003.cnf:

2010-11-10 22:56  degivry

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

2010-11-10 22:54  degivry

	* src/tb2main.cpp: wmaxsat reader

2010-10-22 14:51  degivry

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

2010-10-18 09:04  degivry

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

2010-10-18 09:02  degivry

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

2010-10-14 07:56  degivry

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

2010-10-14 07:56  degivry

	* 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  degivry

	* 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  degivry

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

2010-10-14 07:50  degivry

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

2010-10-14 07:49  degivry

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

2010-10-14 07:47  degivry

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

2010-10-14 07:43  degivry

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

2010-10-01 15:44  allouche

	* Build_package.sh: add script for building all package


	    
Powered By FusionForge