Centre de Recherche en Informatique de Lens

gophersat

gophersat, a SAT solver in Go

pyxai

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, ...).

d4

d4 Model Counter

metrics

mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

d4v2

b-plus-e

rubens

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.

autograph

jkahypar

A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).

stereo2vec

crustabri

An argumentation framework library & solver.

juniverse

metrics-examples

aceurancetourix

Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.

autis

AUTIS library allows parsing combinatorial problem instances for different common formats.

crustabri_ipafair

An IPAFAIR compatible library built upon the Crustabri solver.

crusti_bat

A Belief Aggregation Tool.

crusti_g2io

A Graph Generator following an Inner/Outer pattern.

easyjni

ipafair-sys

Rust bindings for the IPAFAIR API.

universe

apx2tgf

APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.

CSUniverse

CSUuniverse is a C# version of UNIVERSE.

dsyrup

except

panoramyx

pblib-rs

Rust safe bindings for pblib.

remote-control

tootatis

vcpkg-registry