#include <polybori/BooleVariable.h>
This file implements the class BoolePolymials, where carries the definition of variables over Booleans.