Centre de Recherche en Informatique de Lens

Popular repositories Loading

1. gophersat gophersat Public

   gophersat, a SAT solver in Go

   Go 389 24

2. pyxai pyxai Public

   PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random …

   Python 42 4

3. d4 d4 Public

   d4 Model Counter

   C++ 22 6

4. d4v2 d4v2 Public

   C++ 18 18

5. metrics metrics Public

   mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

   Python 11 1

6. nacre_mini nacre_mini Public

   NACRE : Nogood And Clause Reasoning Engine

   C++ 6 4