Software

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

DS

D-Syrup est un solveur SAT distribué original basé sur le paradigme portfolio

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.

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

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