Software

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

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.

Ru

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