{"name":"haskellPackages.sat-simple","summary":"A high-level wrapper over minisat","description":"","homepage_url":"https://hackage.haskell.org/package/sat-simple","license":"BSD-3-Clause","attribute_paths":["haskellPackages.sat-simple"],"releases":[{"version":"0.1.0.0","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.sat-simple","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/d4szwfb9qwf4j241vw83zfb37habznmr-sat-simple-0.1.0.0","default":true},{"name":"doc","path":"/nix/store/rrca9n9pmhmrg5kcbarlqf641xnxjl4s-sat-simple-0.1.0.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"macOS (Intel only)","outputs_summary":"out (macOS only), doc (macOS only)","prerelease":false,"broken":false,"insecure":false}]}