AMATOLS

Definition of AMATOLS