Software

ACE est un solveur de contrainte open-source développé par Christophe Lecoutre (CRIL) en Java.

Software

Un solveur SAT distribué basé sur le paradigme diviser pour régner

Software

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

CO

Le but du projet COSCINUS est d'extraire et de visualiser les habitudes de publications à partir de DBLP.

DS

Un solveur SAT distribué de solveurs de type portfolio

Software

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

De

DecMining est une page web dédiée aux approches déclaratives pour l'exploration de données. Elle contient des logiciels, des ensembles de données, des publications et des liens vers d'autres groupes de recherche.

Software
  • MIT

Le prouveur qui élimine agressivement les clauses apprises

Software

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

Je

Les jeux de révision des croyances (BRG) s'intéressent à la dynamique des croyances d'un groupe d'agents communicants.

Ji

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

Software

Le projet Compile! rassemble les travaux réalisés au CRIL sur le thème de la compilation de connaissances.

Le

Le SAT Game est une présentation amusante et pédagogique du problème de satisfiabilité (SAT). Essayez de résoudre à la main des instances SAT simples !

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.

Ru

Une bibliothèque logicielle pour générer des instances de test via des règles

ru
  • GPL

contrôler finement les ressources mémoire et CPU d'un logiciel lors de son exécution

SA

Pour connaître les dernières nouvelles autour du problème SAT.

Software

SAT4J est une bibliothèque de raisonnement booléen (SAT, MAXSAT, Pseudo-Booléen) en Java.

Vi

Etude de la problématique de la planification de parcours de visite de musées, ressources et prototype.

Software

XCSP3 est un format universel, basé sur XML, permettant de représenter des instances de problèmes combinatoires sous contraintes.