funsat-0.4: dependencies

Dependencies for funsat-0.4

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