funsat-0.5: dependencies

Dependencies for funsat-0.5

library	array base (<4.8) bitset containers fgl mtl parse-dimacs parsec pretty QuickCheck random
funsat	array base bitset containers fgl mtl parse-dimacs parsec pretty QuickCheck time