locuslab/SATNet

Issues

• different sign on the gradients dS, dz and line6 in algorithm 3

  #18 opened 7 months ago by Sichao-Yang
  1

• Install error in both Colab and Ubuntu22.04

  #17 opened 8 months ago by aruiplex
  1

• Missing satnet.h file in the pip repo

  #16 opened a year ago by ZhaoZiyu1998
  0

• How to get rules generated for Sudoku Solver?

  #12 opened 2 years ago by joshuanoronha
  3

• Unable to install satnet through pip due to compilation error

  #14 opened 2 years ago by gbrlfaria
  5

• Question about the S matrix

  #15 opened 2 years ago by zhaoyu-li
  1

• Getting RuntimeError: CUDA error: invalid argument

  #13 opened 2 years ago by prams628
  3

• Objective function in equation 2

  #11 opened 4 years ago by zitongzhan
  2

• Training on CPU: "invalid on input"

  #4 opened 5 years ago by fdietze
  5

• Instructions to fine-tune the hyper-parameters?

  #2 opened 4 years ago by happily-study
  2

• Can't execute code on Google Colab

  #6 opened 4 years ago by arthurdeschamps
  3

• Setup error with macOS Catalina 10.15.2

  #7 opened 4 years ago by kamikaze0923
  5

• Failed on running Suodku example with CUDA

  #9 opened 4 years ago by bywbilly
  8

• Question about matrix S

  #8 opened 4 years ago by huangdi95
  2

• Unable to replicate the success on N-Queen instances

  #5 opened 5 years ago by djin31
  3

• Doubt about the paper first equation

  #3 opened 6 years ago by ebonetti
  2

• How is the CNN in your paper only achieved 0.04% accuracy?

  #1 opened 6 years ago by dichen9412
  4