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
  • 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.

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

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

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.

Software

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