Software

Un solveur rapide pour l'argumentation abstraite basé sur les contraintes

Software

Un outil d'agrégation de croyances.

Cr

Crusti_g2io est un générateur de graphe basé sur un motif interne/externe.

Software

d4 est un compilateur de CNF vers d-DNNF pour le comptage de modèles.

Software

Gophersat est une bibliothèque en langage go pour résoudre des problèmes SAT, MaxSAT et pseudo-booléens.

Ji

Une bibliothèque Java de gestion des arguments de la ligne de commande compatible Java 9+

Software

Un outil d'analyse de données expérimentales en python

NA

The main purpose of this solver is to experiment nogood recording (with a clause reasoning engine) in Constraint Programming (CP).

pF

pFactory est une bibliothèque C++ qui simplifie la conception de solveurs multithreads.

Software

PyCSP3 est une librairie Python qui permet de développer de manière déclarative des modèles de problèmes combinatoires sous contraintes.

Py

PyXAI est une bibliothèque Python permettant d’apporter des explications de formes diverses à partir de classifieurs issus de techniques d’apprentissage automatique

SA

SAF est un outil de calcul d'attracteurs dans des réseaux de régulation de gênes.