Software

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

CO

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

Software

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

Software

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.

Software

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

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

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

Software

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

th

Le but du projet OpenCycloDB est de fournir des données ouvertes fiables concernant les cyclodextrines pour faciliter leur usage dans le cadre de l'apprentissage automatique.

Software

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