Quantr Boolean Algebra Library