sdiehl / haskell-picosat Goto Github PK

module Main where
import Control.Monad (forM)
import Picosat

vars :: Int
vars = 1000000
clauses :: [[Int]]
clauses = fmap (\x -> [x]) [1 .. vars]

main :: IO ()
main = do
    putStrLn "Running new forM':"
    sol1 <- forM' [1 .. vars] return
    print $ last sol1
--  putStrLn "Running old forM:"
--  sol2 <- forM [1 .. vars] return
--  print $ last sol2
    putStrLn $ "Running Picosat with " ++ show (length clauses) ++ " clauses:"
    sol <- Picosat.solve clauses
    putStrLn $ show sol

mapM' :: Monad m => (a -> m b) -> [a] -> [b] -> m [b]
mapM' _ [] ys = return (reverse ys)
mapM' f (x : xs) ys = f x >>= \y -> mapM' f xs (y : ys)

forM' :: Monad m => [a] -> (a -> m b) -> m [b]
forM' xs f = mapM' f xs []

Building picosat-0.1.4...
Preprocessing library picosat-0.1.4...
[1 of 1] Compiling Picosat          ( src/Picosat.hs, dist/build/Picosat.o )
Preprocessing test suite 'Sudoku' for picosat-0.1.4...
[1 of 1] Compiling Main             ( test/Sudoku.hs, dist/build/Sudoku/Sudoku-tmp/Main.o )
Linking dist/build/Sudoku/Sudoku ...
Preprocessing test suite 'Scoped' for picosat-0.1.4...
[1 of 1] Compiling Main             ( test/Scoped.hs, dist/build/Scoped/Scoped-tmp/Main.o )
Linking dist/build/Scoped/Scoped ...
Preprocessing test suite 'rand-shared-improvement' for picosat-0.1.4...
[1 of 1] Compiling Main             ( test/Rand.hs, dist/build/rand-shared-improvement/rand-shared-improvement-tmp/Main.o )

test/Rand.hs:2:1: error:
    Failed to load interface for ‘RandomCNF’
    Use -v to see a list of the files searched for.