use IntSet instead of [Lit] to represent a MCS/MUS
use IntSet instead of [Int] to represent a hyperedge
add a function returning both MCSes and MUSes to ToySolver.SAT.CAMUS module