Centre de Recherche en Informatique de Lens

Artificial Intelligence Research and Applications

Lens, France

Pinned Repositories

b-plus-e
Language:C++5 2 00
d4
d4 Model Counter
Language:C++13 5 94
d4v2
Language:C++7 3 37
gophersat
gophersat, a SAT solver in Go
Language:Go364 12 2324
jkahypar
A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).
Language:Java3 4 80
mdk-verifier
Modal Logic K checker
Language:C++2 3 02
metrics
mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
Language:Python11 6 10
nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language:C++6 4 04
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, ...).
Language:Python22 4 92
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.
Language:Java3 5 00

Centre de Recherche en Informatique de Lens's Repositories

crillab/gophersat
gophersat, a SAT solver in Go
Language:Go364 12 2324
crillab/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, ...).
Language:Python22 4 92
crillab/d4
d4 Model Counter
Language:C++13 5 94
crillab/metrics
mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
Language:Python11 6 10
crillab/d4v2
Language:C++7 3 37
crillab/b-plus-e
Language:C++5 2 00
crillab/jkahypar
A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).
Language:Java3 4 80
crillab/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.
Language:Java3 5 00
crillab/autograph
Language:Python2 6 20
crillab/crustabri
An argumentation framework library & solver.
Language:Rust2 2 00
crillab/stereo2vec
Language:Python2 2 0
crillab/juniverse
Language:Java1 3 00
crillab/metrics-examples
Language:Jupyter Notebook1 5 00
crillab/aceurancetourix
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
Language:Java0 3 00
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
Language:C++0 3 00
crillab/crustabri_ipafair
An IPAFAIR compatible library built upon the Crustabri solver.
Language:Rust0 2 00
crillab/crusti_bat
A Belief Aggregation Tool.
Language:Rust0 2 00
crillab/crusti_g2io
A Graph Generator following an Inner/Outer pattern.
Language:Rust0 2 01
crillab/easyjni
Language:C++0 3 00
crillab/ipafair-sys
Rust bindings for the IPAFAIR API.
Language:C0 2 00
crillab/panoramyx
Language:C++0 3 00
crillab/remote-control
Language:Java0 3 00
crillab/tootatis
Language:HTML0 3 00
crillab/universe
Language:C++0 3 00
crillab/vcpkg-registry
Language:CMake0 3 00
crillab/apx2tgf
APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.
Language:Rust2 0
crillab/CSUniverse
CSUuniverse is a C# version of UNIVERSE.
Language:C#3 0
crillab/dsyrup
Language:C++3 0
crillab/except
Language:CMake3 0
crillab/pblib-rs
Rust safe bindings for pblib.
Language:C++2 0