#include "BooleVariable.h"
This file implements the class BoolePolymials, where carries the definition of variables over Booleans.