cnfgen
cnfgen copied to clipboard
MassimoLauria
CNF generator in DIMACS format. It produces common families of CNFs.
Would you consider adding support for optimization functions in OPB formulas? This would essentially involve adding a member variable and a corresponding method "set_optimization_target". If the target has been set...
According to https://www.cril.univ-artois.fr/PB12/format.pdf, OPB constraints should end in a semicolon. This is not a problem with many solvers, but other solvers such as SCIP are more picky and will not...
Currently calling `cnfshuffle -i file.cnf` prints a warning saying that it is waiting for a DIMACS file on stdin, even though it received the input correctly and it is working...
This connects to pull request #83 issues #71 (from Jakob Nordstrom) Here comes a feature request for variants of dense linear order formulas. If anyone of you feels this is...
For the dominating set formulas it would be nice to have a more descriptive option than --alternative, say, perhaps, --guarded, for the version of the formulas with clauses: 1. x(v)...
I think it would be a very nice and helpful feature of CNFgen if, when the program is expecting an undirected (non-bipartite) graph but gets a directed one, it would...
I would like to have the dense linear ordering formulas of Atserias-Dalmau (are the standard versions of DLO formulas available in CNFgen, BTW?) but relative to a (sparse) graph. In...
A suggestion regarding documentation of formulas generated from graphs. (1) Say that the formulas can be generated from graphs, and that general info about graph formats and families can be...
Add support for generation of instances in pseudo-Boolean OPB format (where cardinality constraints would be encoded natively, not in clausal form).
Metadata
Owner
Metadata
CNF generator in DIMACS format. It produces common families of CNFs.