New package: PolarGoose.minisat 2.2 (microsoft#273943)

Author: PolarGoose

manifests/p/PolarGoose/minisat/2.2/PolarGoose.minisat.installer.yaml

@@ -0,0 +1,15 @@
+# Created using wingetcreate 1.9.4.0
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.installer.1.9.0.schema.json
+
+PackageIdentifier: PolarGoose.minisat
+PackageVersion: "2.2"
+InstallerType: zip
+NestedInstallerType: portable
+NestedInstallerFiles:
+- RelativeFilePath: ./minisat.exe
+Installers:
+- Architecture: x64
+  InstallerUrl: https://github.com/PolarGoose/minisat-for-Windows/releases/download/v2.2.0-master-37dc6c6/minisat.zip
+  InstallerSha256: 17467b8e38d71b22c95e1d757c8c495aeb3af43405a8c2fbf2f790ba57c60745
+ManifestType: installer
+ManifestVersion: 1.9.0

manifests/p/PolarGoose/minisat/2.2/PolarGoose.minisat.locale.en-US.yaml

@@ -0,0 +1,13 @@
+# Created using wingetcreate 1.9.4.0
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.defaultLocale.1.9.0.schema.json
+
+PackageIdentifier: PolarGoose.minisat
+PackageVersion: "2.2"
+PackageLocale: en-US
+Publisher: PolarGoose / niklasso
+PublisherUrl: https://github.com/niklasso/minisat
+PackageName: minisat
+License: MIT
+ShortDescription: A minimalistic and high-performance SAT solver
+ManifestType: defaultLocale
+ManifestVersion: 1.9.0

manifests/p/PolarGoose/minisat/2.2/PolarGoose.minisat.yaml

@@ -0,0 +1,8 @@
+# Created using wingetcreate 1.9.4.0
+# yaml-language-server: $schema=https://aka.ms/winget-manifest.version.1.9.0.schema.json
+
+PackageIdentifier: PolarGoose.minisat
+PackageVersion: "2.2"
+DefaultLocale: en-US
+ManifestType: version
+ManifestVersion: 1.9.0