Programs for teaching

• Conjunctive normal forms pour propositional logic. Cours logique et calculabilité 2013--2018. Sources.
• Algorithm Davis-Putnam-Logemann-Loveland. Cours logique et calculabilité 2013--2018. Sources.
• Unification algorithm. Cours logique et calculabilité 2013--2018. Sources.
• Tableaux for modal logic. Cours AI 2017. Sources.
• Visualize models built with Mace4. Cours logique et calculabilité 2013--2018. Sources.