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.

A simple DPLL SAT solver in Elm (https://package.elm-lang.org/packages/tortis/elm-sat/latest/)