blazs/lvr-sat

Issues

• Naloga 3

  #8 opened 11 years ago by boryab
  0

• Naloga 1

  #5 opened 11 years ago by boryab
  1

• Naloga 4

  #9 opened 11 years ago by boryab
  0

• Prevedba odlocitvenega problema sudoku na SAT.

  #10 opened 11 years ago by MartinFreser
  0

• Erdősev problem diskrepance

  #11 opened 11 years ago by MartinFreser
  0

• main.py se ne prevede

  #14 opened 11 years ago by MartinFreser
  1

• hadamard v prevedbe.py ne dela

  #15 opened 11 years ago by bb1359
  1

• Potencialen bug v sudoku

  #13 opened 11 years ago by blazs
  0

• Napaka v SAT solverju.

  #12 opened 11 years ago by blazs
  2

• Kam se da TODO

  #2 opened 11 years ago by andrejbauer
  1

• Naloga 7: vse lepo zapakirajte

  #3 opened 11 years ago by MartinFreser
  0

• Naloga 6: primeri

  #4 opened 11 years ago by MartinFreser
  0

• Naloga 2

  #6 opened 11 years ago by boryab
  0

• Naloga 5: testiranje kode

  #7 opened 11 years ago by MartinFreser
  0

• Garbage files

  #1 opened 11 years ago by blazs
  1