DPLL

Projet de Logique en L3 licence Informatique Université Paris Cité.

Création d'une calculatrice sans limite de taille sur les entiers

Implementation of various algorithms around the SAT problem.