alexeyignatiev

Alexey Ignatiev's repositories

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

Language:PythonMIT23 20

XReason - formal reasoning about explanations for ML models

Language:PythonMIT12 50

SAT-based miner of smallest size decision sets

Language:PythonMIT9 2 1

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

Language:PythonMIT3 20

Experiment showing the duality between absolute explanations and counterexamples

Language:PythonMIT3 30

VIM syntax for DIMACS CNF

Language:Vim ScriptMIT2 20

Model-Based Diagnosis with Multiple Observations

Language:C++MIT1 20

Abductive explanations for decision lists

Language:PythonMIT1 20

Personal webpage

Language:HTMLMIT010

The NumPy home page

Language:HTMLBSD-3-Clause010

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

Language:PythonMPL-2.0000

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.0020

SAT Live! web site

Language:HTML020