Hello! We have the second open-source release of Soufflé for you. Key features are

  1. Enhance program minimiser (azreika)
  2. Fix re-ordering of conjunctive terms