{"name":"python311Packages.deal-solver","summary":"Z3-powered solver (theorem prover) for deal","description":"","homepage_url":"https://github.com/life4/deal-solver","license":"MIT","attribute_paths":["python311Packages.deal-solver"],"releases":[{"version":"0.1.2","last_updated":"2024-12-13T21:43:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.deal-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/z6ajsp918kpxixryha4faxa12aj9964s-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/szj5gqffjdr8kxcrhzy4c6l6xgjwkfq4-python3.11-deal-solver-0.1.2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.deal-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/cjvpsjrvzgq97vh5ksblbpv7cispdwlj-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/pv4hl819p5vj0l6zj17p57axn9sxaf00-python3.11-deal-solver-0.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.deal-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/0r290qavq2wbpbf415mxc7c4b2587zzl-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/dyn7a04ay5hwaw86r4iwxwjs0s0hl2nx-python3.11-deal-solver-0.1.2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.deal-solver","commit_hash":"71a6392e367b08525ee710a93af2e80083b5b3e2","date":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/37aq7kr9gydq6csyhgh53kam9wv6bzj8-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/29g691c4xzp4f9sxbpjqldiq8icl03i7-python3.11-deal-solver-0.1.2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.1","last_updated":"2023-09-27T18:02:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python311Packages.deal-solver","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/c635brw7nsbralfv6fc3gxjaddhl1asm-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/ihqiqpack379ywpfm08f6zjv48vbda7q-python3.11-deal-solver-0.1.1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python311Packages.deal-solver","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/pk1sdlza8ff4la58h8wg4gm3npgk07h5-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/cvkgvgzifb9x7ggn92s3wasgx4q9pi7a-python3.11-deal-solver-0.1.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python311Packages.deal-solver","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/bzrph1wy2mh90wkryqgbi8qsjh218s7y-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/wg8k25jw2jsgp45giwh1db5p4qiw5w7a-python3.11-deal-solver-0.1.1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python311Packages.deal-solver","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/9yz5ljfy4xlzc4z8b8yhlm8nxdd34nqj-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/zz4s6ykmrv2pg2868zxv25zblqx3l7x8-python3.11-deal-solver-0.1.1-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}