Computing MUSes Silently
I have been checking the implementation of AllMUSes class. I would like to get the time necessary to find (I know that different solvers can be used here for different purpoes..)
- One (subset)
- Cardinality minimal
- All MUSes (all subset minimals, computeAllMUSes() method)
However, I have the following issue regarding the MUS solver. It outputs to console all MUSes and MSSes even if I set verbosity to false. Is it possible to disable this? I think there is a problem in managing the output streams... I am checking the code here with no success yet: http://websvn.ow2.org/filedetails.php?repname=sat4j&path=%2Fmaven%2Ftrunk%2Forg.sat4j.core%2Fsrc%2Fmain%2Fjava%2Forg%2Fsat4j%2Ftools%2FAllMUSes.java