Python project for a program that allows to solve clauses using W_Operators and V_Operators.