ArrogantGao/TreeWidthSolver.jl

Issues

• TagBot trigger issue

  #11 opened 7 months ago by JuliaTagBot
  7

• register

  #13 opened 7 months ago by ArrogantGao
  11

• Type piracy on `hash` breaks `hash(())`

  #16 opened 5 months ago by mofeing
  2

• Benchmarks

  #5 opened 6 months ago by ArrogantGao
  2

• Set up benchmark instances with known tree width

  #4 opened 6 months ago by ArrogantGao
  2

• Documentations

  #6 opened 6 months ago by ArrogantGao
  4

• Setup some test instances

  #7 opened 6 months ago by GiggleLiu
  1

• Backend on tree width calculation

  #3 opened 8 months ago by ArrogantGao
  1

• Fix test coverage CI

  #10 opened 7 months ago by GiggleLiu
  1

• Port the contraction order alorithm to TO

  #9 opened 7 months ago by GiggleLiu
  0