cnfgen icon indicating copy to clipboard operation
cnfgen copied to clipboard

Published 20 hours ago • verified publisher icon MassimoLauria

Add support for generation of instances in pseudo-Boolean OPB format

Open jakobnordstrom opened this issue 8 years ago • 0 comments

Add support for generation of instances in pseudo-Boolean OPB format (where cardinality constraints would be encoded natively, not in clausal form).

jakobnordstrom avatar Aug 25 '16 12:08 jakobnordstrom