Use Z3 to find an optimal assignment of applications to roles (for LARP, but usable elsewhere)
Primary LanguagePythonMIT LicenseMIT