Data.SBV.Examples.Queries.UnsatCore
p
ucCore