puresat-0.1: Pure Haskell SAT-solver
Safe HaskellNone
LanguageHaskell2010

PureSAT.LCG

Synopsis

Documentation

data LCG s Source #

Park-Miller LCG

>>> runST $ do { lcg <- newLCG 42; traverse (\_ -> nextLCG lcg) [1..10] }
[2027382,1226992407,551494037,961371815,1404753842,2076553157,1350734175,1538354858,90320905,488601845]

newLCG :: Word64 -> ST s (LCG s) Source #

nextLCG :: LCG s -> ST s Word64 Source #