Popular repositories Loading

1. mkplot mkplot Public

   A Python script to create cactus and scatter plots based on matplotlib

   Python 23 12

2. xreason xreason Public

   XReason - formal reasoning about explanations for ML models

   Python 16 2

3. minds minds Public

   SAT-based miner of smallest size decision sets

   Python 12

4. vim-dimacs vim-dimacs Public

   VIM syntax for DIMACS CNF

   Vim Script 3

5. xpce-duality xpce-duality Public

   Experiment showing the duality between absolute explanations and counterexamples

   Python 3

6. xdual xdual Public

   XDual - duality-based computation and enumeration of abductive and contrastive explanations

   Python 3 1