{"name":"python310Packages.python-sat","summary":"Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)","description":"","homepage_url":"https://github.com/pysathq/pysat","license":"MIT","attribute_paths":["python310Packages.python-sat"],"releases":[{"version":"0.1.7.dev1","last_updated":"2023-12-13T22:54:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python310Packages.python-sat","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/b1grcwby33733p4825zhm04bfmnhm1ab-python3.10-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/7d8bsnbnszm4xgmhxwfpc20k8rjzp3ns-python3.10-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python310Packages.python-sat","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/j42vcay3703ksb192ak8ik1kjvmmfmw9-python3.10-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/lbqap87v28rllzvix5cvvl6iqwf6r4k5-python3.10-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python310Packages.python-sat","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/71jb1mdx53411a153x9y0parfmpwk20d-python3.10-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/xanni267ry1vnnkmxmbwfdfap7gy1ibs-python3.10-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python310Packages.python-sat","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/ypbj9ssf3p06mpkjplzsfry0pk323xy6-python3.10-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/day0mgv18a948f96ly67wcwn7kfyz9hx-python3.10-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}