Merge branch 'master' of git+ssh://scm.mulcyber.toulouse.inra.fr//var/lib/gforge/chroot/scmrepos/git/toulbar2/toulbar2

[code] for tree decomposition input file, it assumes a valid rooted forest and it will not apply any other optional transformations (like split, merge, etc) on the tree structure

[option] control if the initial solution given as an input file (with extension .sol) will be used both for upperbound and value heuristic (by default) or upperbound only (option -x: )

[option] a valid tree decomposition can be given as input file (with .cov extension or using -O=filename)

[option] a valid tree decomposition can be given as input file (with .cov extension or using -O=filename)

Merge branch 'master' of git+ssh://scm.mulcyber.toulouse.inra.fr//var/lib/gforge/chroot/scmrepos/git/toulbar2/toulbar2

Merge branch 'master' of git+ssh://scm.mulcyber.toulouse.inra.fr//var/lib/gforge/chroot/scmrepos/git/toulbar2/toulbar2
[doc] Toulbar2 Testing and benchmarking doc

[code] INCOP starts with current best solution if given as input else uses unary EAC/VAC support values

[code] code optimization (devirtualizes using C++-11 keyword final small methods and classes WCSP and Solver -potential issue for VNS?- ; new NaryConstraint class being union of a map and/or an array depending on compression gain) ; cpu-time with high precision (microseconds) ; [error] VAC value heuristic (now used by default if VAC selected) must update EAC queue more often to ensure correct EAC values ; [error] merging functional variables uses setTuple instead of addToTuple

Merge branch 'master' of git+ssh://scm.mulcyber.toulouse.inra.fr//var/lib/gforge/chroot/scmrepos/git/toulbar2/toulbar2

	- Builds HTML and optionally PDF from latex.
	- Controlled by just two Cmake variables (BUILD_API_DOC and BUILD_API_DOC_LATEX)

    AMD64: wchar_t is signed
	 ARMv7: wchar_t is  apparently...unsigned
	 Not so portable, even if 4 bytes in both cases.
    Wouldn't 16 bits be enough here ?