Issues

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

  locuslab/SATNet#18 · Filter by author Sichao-Yang opened on May 20, 2024
  1

• Install error in both Colab and Ubuntu22.04

  locuslab/SATNet#17 · Filter by author aruiplex opened on Apr 24, 2024
  1

• Missing satnet.h file in the pip repo

  locuslab/SATNet#16 · Filter by author ZhaoZiyu1998 opened on Jul 21, 2023

• How to get rules generated for Sudoku Solver?

  locuslab/SATNet#12 · Filter by author joshuanoronha opened on Oct 24, 2022
  3

• Failed on running Suodku example with CUDA

  locuslab/SATNet#9 · Filter by author bywbilly opened on Oct 30, 2020
  8

• Training on CPU: "invalid on input"

  locuslab/SATNet#4 · Filter by author fdietze opened on Aug 27, 2019
  5