prop-solver A propositional solver built with OCaml, as part of the INF 551 course offered at Ecole Polytechnique. More details on the project can be found here.