Skip to content
@crillab

Centre de Recherche en Informatique de Lens

Artificial Intelligence Research and Applications

Popular repositories Loading

  1. gophersat gophersat Public

    gophersat, a SAT solver in Go

    Go 385 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++ 14 12

  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

Repositories

Showing 10 of 46 repositories
  • PyImageLabeling Public

    PyImageLabeling is a powerful tool with a user-friendly interface based on PyQT6 for creating image masks. These labeled images are used in the creation of machine learning models dedicated to computer vision tasks.

    crillab/PyImageLabeling’s past year of commit activity
    Python 3 MIT 0 1 0 Updated Feb 17, 2026
  • decdnnf_rs Public
    crillab/decdnnf_rs’s past year of commit activity
    Rust 3 GPL-3.0 0 0 0 Updated Feb 4, 2026
  • crustabri_ipafair Public

    An IPAFAIR compatible library built upon the Crustabri solver.

    crillab/crustabri_ipafair’s past year of commit activity
    Rust 0 GPL-3.0 0 0 0 Updated Feb 4, 2026
  • scalop Public

    An argumentation framework library & solver.

    crillab/scalop’s past year of commit activity
    Rust 4 GPL-3.0 2 0 0 Updated Feb 4, 2026
  • 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 Forests, Boosted Trees, ...).

    crillab/pyxai’s past year of commit activity
    Python 39 MIT 4 0 0 Updated Jan 20, 2026
  • rez-mezs Public

    Measures the resistance of countermodels to iteratively applying families of extensive operators to the original formula.

    crillab/rez-mezs’s past year of commit activity
    C++ 0 LGPL-3.0 0 0 0 Updated Dec 18, 2025
  • sdp-solver Public

    Qualitative and hydrid SAT encodings for solving the Set Discovery Problem (SDP)

    crillab/sdp-solver’s past year of commit activity
    C++ 0 LGPL-3.0 0 0 0 Updated Sep 29, 2025
  • metrics-solvers Public

    This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.

    crillab/metrics-solvers’s past year of commit activity
    0 CC-BY-4.0 0 0 0 Updated Aug 26, 2025
  • gophersat Public

    gophersat, a SAT solver in Go

    crillab/gophersat’s past year of commit activity
    Go 385 MIT 23 5 2 Updated Jul 7, 2025
  • pfactory Public

    pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++

    crillab/pfactory’s past year of commit activity
    C++ 2 GPL-3.0 1 0 0 Updated May 26, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…