Hello all, Just a small announcement. funsat has been bumped to 0.6.2. New in 0.6.2: works with ghc-6.12 and fixed some space leaks. http://hackage.haskell.org/package/funsat bitset has been bumped to 1.1. New in 1.1: can easily convert between the BitSet representation and the underlying Integer. http://hackage.haskell.org/package/bitset --                               Denis