The first version of tools named MIMUS and MINC: a tool set for finding Minimal Inconsistent Subsets from Minimal Unsatisfiable Subformulas (MIMUS) and Measuring Inconsistency (MINC) has been developed at Queen's University Belfast (by Kevin McAreavey).
The tools can be downloaded from the following link. http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html We welcome researchers interested in these topics to try this very first version and we appreciate any comments and suggestions for further improving them. Regards, Weiru Liu _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
