anjlab/sat3

Issues

• Non-empty HSS for UNSAT instance has been built

  #5 opened 14 years ago by dmitrygusev
  9

• False negative results

  #4 opened 14 years ago by dmitrygusev
  1

• Support cnf files with sparse variable names

  #3 opened 14 years ago by yury
  1

• Error in finding HSS route for uf125-01.cnf

  #1 opened 14 years ago by dmitrygusev
  2

• Read basic and compact ASCII encoding format

  #2 opened 14 years ago by yury
  1