RafaelTupynamba/quicksampler

Issues

• Custom DIMACS parser misinterprets the number of variables in CNF Formula

  #11 opened 3 years ago by prpr2770
  1

• Timeout setting doesn't work in the z3 check procedure

  #10 opened 5 years ago by xuyoji
  1

• Independent Support is assumed to be in increasing order

  #6 opened 5 years ago by kuldeepmeel
  3

• Questions about install and execute

  #9 opened 6 years ago by z971586668
  2

• Fails on large CNF formulae

  #8 opened 6 years ago by AniOjha
  3

• Unknown parameter for z3

  #5 opened 7 years ago by kuldeepmeel
  1

• STS patch also not worrying about independent support

  #7 opened 7 years ago by kuldeepmeel
  0

• Independent Support

  #4 opened 7 years ago by kuldeepmeel
  1

• Z3 patch

  #3 opened 7 years ago by kuldeepmeel
  0

• The format of samples and how to read the different generated files

  #2 opened 7 years ago by kuldeepmeel
  0

• Three way patch required

  #1 opened 7 years ago by kuldeepmeel
  0