Remarques sur les révisions

Nom de version : Release-0-8


Weighted CSP C++ solver toulbar2 as used in UAI-08 and MAXCSP-08 evaluations (and including few bug corrections). Read wcsp, uai (Bayesian Networks and Random Markov Fields), and XCSP 2.1 (needs to uncomment XML flags in Makefile).


XCSP 2.1 reader reads soft constraints in extension format.

Powered By FusionForge