IA02-UTC Our code for a course about Artificial Intelligence and propositional calculus. Authors : -Lucas Colas -Sacha-Sz.