Remarques sur les révisions

Nom de version : Release 3.0

Notes

A selection of MaxSAT benchmarks. Note that more MaxSAT benchmarks can be produced from the WCSP instances available in the full "benchs" archive using WCSP -> MaxSAT direct and log encoding (see toolbar).

Powered By FusionForge