Data.SBV.Examples.Queries.AllSat
goodSum
demo