Skip to content

@crillab Centre de Recherche en Informatique de Lens

Change the repository type filter

All

    Repositories list

    43 repositories

    • pfactory

      Public
      pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++
      C++
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated May 26, 2025May 26, 2025

    • metrics

      Public
      mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
      crillab-metrics
      Python
      •
      Other
      •1•11•0•0•Updated May 14, 2025May 14, 2025

    • d4v2

      Public
      C++
      •
      GNU Lesser General Public License v2.1
      •9•9•4•2•Updated May 12, 2025May 12, 2025

    • metrics-solvers

      Public
      This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
      solverawesome-listxcsp3tootatiscrillab-metricsxcsp-launchersolver-configuration
      Creative Commons Attribution 4.0 International
      •0•0•0•0•Updated May 6, 2025May 6, 2025

    • 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, ...).
      random-forestregressionclassificationdecision-treeboosted-treesxaipython
      Python
      •
      MIT License
      •3•34•7•0•Updated May 6, 2025May 6, 2025

    • autograph

      Public
      Python
      •
      MIT License
      •0•2•2•0•Updated Apr 30, 2025Apr 30, 2025

    • aceurancetourix

      Public
      Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
      solverconstraint-programminguniverseuniverse-adaptertootatis
      Java
      •
      Other
      •0•0•0•0•Updated Dec 21, 2024Dec 21, 2024

    • ipasir-loading

      Public
      Load shared libraries of IPASIR compatible SAT solvers.
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • set-sizing-for-counter-models

      Public
      Deliverable D4.1 for BLaSST ANR project
      C++
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • decdnnf_rs

      Public
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 15, 2024Jul 15, 2024

    • gophersat

      Public
      gophersat, a SAT solver in Go
      constraint-satisfaction-problemartificial-intelligenceconstraintsboolean-formulassat-solverpseudo-boolean-solver
      Go
      •
      MIT License
      •23•378•5•2•Updated Jun 22, 2024Jun 22, 2024

    • crusti_bat

      Public
      A Belief Aggregation Tool.
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • stereo2vec

      Public
      Python
      •
      Other
      •0•5•0•0•Updated Feb 13, 2024Feb 13, 2024

    • crustabri_ipafair

      Public
      An IPAFAIR compatible library built upon the Crustabri solver.
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • crustabri

      Public
      An argumentation framework library & solver.
      Rust
      •
      GNU General Public License v3.0
      •2•2•0•0•Updated Jan 24, 2024Jan 24, 2024

    • crusti_g2io

      Public
      A Graph Generator following an Inner/Outer pattern.
      Rust
      •
      GNU General Public License v3.0
      •1•0•0•1•Updated Dec 11, 2023Dec 11, 2023

    • apx2tgf

      Public
      APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 11, 2023Dec 11, 2023

    • pblib-rs

      Public
      Rust safe bindings for pblib.
      C++
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Dec 4, 2023Dec 4, 2023

    • rubens

      Public
      RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interface conceived in order to create new ones with few effort.
      Java
      •
      GNU General Public License v3.0
      •0•3•0•4•Updated Nov 29, 2023Nov 29, 2023

    • panoramyx

      Public
      C++
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • remote-control

      Public
      Java
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Sep 14, 2023Sep 14, 2023

    • ipafair-sys

      Public
      Rust bindings for the IPAFAIR API.
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • vcpkg-registry

      Public
      CMake
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Aug 12, 2023Aug 12, 2023

    • autis

      Public
      AUTIS library allows parsing combinatorial problem instances for different common formats.
      cppconstraint-programmingdimacsxcsp3tootatisopb
      C++
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Aug 12, 2023Aug 12, 2023

    • universe

      Public
      UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs
      cppconstraint-programminguniversetootatis
      C++
      •
      Other
      •0•0•0•0•Updated Aug 12, 2023Aug 12, 2023

    • juniverse

      Public
      JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
      javaconstraint-programminguniversetootatis
      Java
      •
      Other
      •0•1•0•0•Updated Jul 28, 2023Jul 28, 2023

    • easyjni

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 1, 2023Jul 1, 2023

    • except

      Public
      CMake
      •
      Other
      •0•0•0•0•Updated Jun 30, 2023Jun 30, 2023

    • d4

      Public
      d4 Model Counter
      C++
      •
      GNU Lesser General Public License v3.0
      •4•16•5•0•Updated May 17, 2023May 17, 2023

    • CSUniverse

      Public
      CSUuniverse is a C# version of UNIVERSE.
      solverconstraint-programminguniversetootatis
      C#
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Mar 17, 2023Mar 17, 2023