Add niklasso/minisat Formula from Conan Center

[MeteorsLiu]

Summary

• Add the niklasso/minisat Formula for the Conan 2.2.0 source tag, including its exported CMake build definition and portability patches.
• Install the public headers, static library, license, and relocatable pkg-config metadata with the zlib closure.
• Verify the Conan SAT-solver consumer against the installed artifacts, including a cache-hit run.

Closes #326

Validation

• llar test --verbose ./niklasso/minisat@releases/2.2.0 --os darwin --arch arm64 --require validate326=patchzero
• Repeated the same command to verify the cache-hit consumer path.
• git apply --check --unidiff-zero for both source patches at releases/2.2.0.
• Confirmed releases/2.0 is rejected because no Formula range claims that incompatible source layout.

[fennoai]

Reviewed the complete niklasso/minisat formula addition, including the CMake build/install definition, portability patches, zlib dependency and relocatable pkg-config metadata, version threshold, and installed consumer path. No actionable correctness, compatibility, or regression issues were identified.

Verification performed against the fixed PR commits:

• Built releases/2.2.0 on Linux/amd64 through LLAR with madler/zlib@v1.3.1.
• Confirmed both source patches apply and the installed consumer compiles and runs.
• Repeated the LLAR test to exercise the cache-hit consumer path.
• Confirmed releases/2.0 is rejected because no compatible formula range claims it.

View job run