puresat-0.1: Pure Haskell SAT-solver
Safe HaskellSafe-Inferred
LanguageHaskell2010

PureSAT.Boost

Synopsis

Documentation

boost :: Word -> Word Source #

Boost weight

>>> boost 0
64
>>> boost 3
67
>>> boost maxBound
18446744073709551615
>>> boost (maxBound - 63)
18446744073709551615
>>> boost (maxBound - 64)
18446744073709551615

decay :: Word -> Word Source #

Decay weight

>>> decay 0
0
>>> decay 1
0
>>> decay 40
39
>>> decay 10000
9844