ACE : a GAP 4 package - Chapters

  1. The ACE Package
  2. Installing and Loading the ACE Package
  3. Some Basics
  4. Options for ACE
  5. Strategy Options for ACE
  6. Functions for Using ACE Interactively
  1. The Meanings of ACE's output messages
  2. Examples
  3. Finer Points with Examples
  4. Other ACE Options

ACE manual
January 2012