Jakob Nordstrom

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)...

Warn about directed undirected graphs

1

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...

Dense linear order on graphs

3

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).