GitHub repository: Brided/projet-logique-dpll-recursif-Julien-Steven
Primary language: OCaml
Description: MP₁ : solveur DPLL récursif (à rendre avant le 28 octobre)