Name Last Update
..
Add.hs Loading commit data...
Formula.hs Loading commit data...
LookAheadAdder.hs Loading commit data...
README Loading commit data...
Sudoku.hs Loading commit data...
Sudoku2.hs Loading commit data...
Tseitin.hs Loading commit data...
Voraussetzungen:
  - Haskell Platform (unter Windows besser die 32-Bit-Version)
  - Paket picosat (enthält bereits den SAT-Solver Picosat).
    Dieses Paket sollte sich einfach so installieren lassen:
      cabal install picosat

Beispiel:
  ghc Sudoku.hs
  ./Sudoku