BeanPolE

BeanPolE

The BoolEAN POLynomial Evaluation library