MassimoLauria/cnfgen

Issues

• Binary k-clique formulas satisfiable for (k-1)-partite graphs

  #115 opened 7 months ago by aoertel
  1

• Transformation no longer works

  #114 opened 7 months ago by aoertel
  1

• Support optimization targets in OPB formulas

  #113 opened 2 years ago by marcvinyals
  0

• Update predecessor list graph format

  #70 opened 4 years ago by jakobnordstrom
  0

• k-clique formulas

  #80 opened 4 years ago by jakobnordstrom
  0

• Symmetry breaking

  #81 opened 4 years ago by jakobnordstrom
  1

• Documentation of KTHlist graph format

  #85 opened 4 years ago by jakobnordstrom
  1

• Saving of graphs in correct KTHlist format

  #86 opened 4 years ago by jakobnordstrom
  1

• Sparsified Stone formulas

  #66 opened 4 years ago by MassimoLauria
  3

• Documentation for randkcnf formula is wrong

  #104 opened 5 years ago by kezz
  1

• Upgrade to networkx 2.X

  #90 opened 6 years ago by MassimoLauria
  2

• Tests fail on lingeling solver

  #99 opened 6 years ago by MassimoLauria
  1

• Installation breaks on python3

  #98 opened 6 years ago by msoos
  2

• Move to python3

  #93 opened 6 years ago by MassimoLauria
  3

• Upgrade development system to Pyenv

  #92 opened 6 years ago by MassimoLauria
  1

• Variants of Dense Ordering Principle (from Jakob Nordstrom)

  #91 opened 7 years ago by MassimoLauria
  0

• --guarded option for dominating set formulas

  #79 opened 8 years ago by jakobnordstrom
  0

• Warn about directed undirected graphs

  #78 opened 8 years ago by jakobnordstrom
  1

• Dense linear order on graphs

  #71 opened 8 years ago by jakobnordstrom
  3

• Sparsified stone formulas

  #72 opened 8 years ago by jakobnordstrom
  1

• Global option to consistently flip polarities

  #75 opened 8 years ago by jakobnordstrom
  1

• Log command line used to genereate formula

  #74 opened 8 years ago by jakobnordstrom
  2

• Make documentation for formulas generated from graphs more specific

  #76 opened 8 years ago by jakobnordstrom
  0

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

  #73 opened 8 years ago by jakobnordstrom
  0

• Hamiltonian Path/Cycle Request

  #67 opened 8 years ago by weaversa
  0

• From Moshe Vardi: implement scalable benchmark formulas from a paper

  #69 opened 8 years ago by MassimoLauria
  0

• Name clash with NetworkX adjlist graph format

  #58 opened 8 years ago by MassimoLauria
  1

• Tseitin over multigraphs

  #32 opened 9 years ago by marcvinyals
  0

• Test command lines that require networkx bipartite functions

  #30 opened 9 years ago by MassimoLauria
  0

• Some sections at readthedocs.org are missing

  #52 opened 9 years ago by marcvinyals
  1

• Cannot build documentation

  #51 opened 9 years ago by marcvinyals
  1

• Compatibility with networkx 1.10

  #29 opened 9 years ago by MassimoLauria
  3

• Multigrids

  #1 opened 12 years ago by marcvinyals
  1