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

DS

Un solveur SAT distribué de solveurs de type 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.