LARA

Definition of Boolean Algebra with Presburger Arithmetic