go-air/gini

Issues

• [bug] Fails to parse cnf file

  #21 opened a year ago by pkriens
  3

• Question

  #20 opened 3 years ago by perdasilva
  3

• bench tool focus sets

  #3 opened 8 years ago by wsc1
  0

• add drat tracing/checking

  #4 opened 8 years ago by wsc1
  0

• Make the project go-getable

  #8 opened 8 years ago by zimmski
  4

• benchmarking tool run and instance selection

  #2 opened 8 years ago by wsc1
  0

• Simplification fixes from https://github.com/dominikh/go-simple

  #10 opened 8 years ago by dgryski
  1

• Issues found by https://github.com/gordonklaus/ineffassign

  #9 opened 8 years ago by dgryski
  1

• go vet

  #7 opened 8 years ago by Deleplace
  1

• pre/in-processing

  #5 opened 8 years ago by wsc1
  0

• bench tool active runs

  #1 opened 8 years ago by wsc1
  0