Compute minimal size unsat core
It is currently possible to compute subset minimal unsat cores.
Some users would like to compute a size minimal unsat core.
It should not be too difficult to implement: just another strategy for the Xplain class.
It is currently possible to compute subset minimal unsat cores.
Some users would like to compute a size minimal unsat core.
It should not be too difficult to implement: just another strategy for the Xplain class.