Tools, algorithms and data structures for rough sets and explainable machine learning, including algorithms for discernibility matrix, reducts, decision rules ...