Hello! We have the second open-source release of Soufflé for you. Key features are Enhance program minimiser (azreika) Fix re-ordering of conjunctive terms ...