Popular repositories Loading

1. gophersat gophersat Public

   gophersat, a SAT solver in Go

   Go 384 23

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 39 4

3. d4 d4 Public

   d4 Model Counter

   C++ 18 5

4. d4v2 d4v2 Public

   C++ 13 11

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