PureSAT.Boost
boost :: Word -> Word Source #
Boost weight
>>> boost 0 64
>>>
boost 0
>>> boost 3 67
boost 3
>>> boost maxBound 18446744073709551615
boost maxBound
>>> boost (maxBound - 63) 18446744073709551615
boost (maxBound - 63)
>>> boost (maxBound - 64) 18446744073709551615
boost (maxBound - 64)
decay :: Word -> Word Source #
Decay weight
>>> decay 0 0
decay 0
>>> decay 1 0
decay 1
>>> decay 40 39
decay 40
>>> decay 10000 9844
decay 10000