mabseher/htd

Issues

• Errors with cmake src/htd_main

  #5 opened 7 years ago by abitofalchemy
  1

• Is it possible to obtain the vertex elimination order when a tree decomposition is given as an input?

  #9 opened 5 years ago by jmeintrup
  2

• Undefined symbols for architecture x86_64

  #7 opened 6 years ago by mpelleau
  0

• static library **libhtd.a** is not portable

  #6 opened 6 years ago by mahi045
  1

• Documentation

  #4 opened 8 years ago by mabseher
  1

• Graceful termination

  #3 opened 9 years ago by mabseher
  1

• Segfault

  #2 opened 9 years ago by daajoe
  0

• segfault (size initialized hypergraph)

  #1 opened 9 years ago by daajoe
  0