GitHub repository: xp2-882030kgz010602/sfinder-strict-minimal
Description: A post processing tool that finds the minimal solution combination to cover all patterns