Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
Primary LanguagePythonMIT LicenseMIT