{"name":"python39Packages.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":["python39Packages.python-sat"],"releases":[{"version":"0.1.7.dev1","last_updated":"2022-12-17T09:19:40Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.python-sat","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/9i70lq86khrw0hgrvzrcwhzfrya27vfa-python3.9-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/0i834wi2rfi17in4ykcmmyhxc5zzh7cw-python3.9-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python39Packages.python-sat","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/h5csc1af4a52f4f65av8bpx30aiivw5b-python3.9-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/l0654j9900c60iw0gc47jfx6l35mzf9r-python3.9-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.python-sat","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/cyf2g9381ffiqyn59jfsa59df4pp17k4-python3.9-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/wbx7k4vj818x8r903knqjm87sfp0cnlq-python3.9-python-sat-0.1.7.dev1-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.python-sat","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/x5zr4fs5x13ff4slm6vlqa89ydkvxwg1-python3.9-python-sat-0.1.7.dev1","default":true},{"name":"dist","path":"/nix/store/lc6jx93i9fy6nzphy9nhj31ml6xdr9km-python3.9-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},{"version":"0.1.6.dev6","last_updated":"2021-12-03T17:41:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python39Packages.python-sat","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python39Packages.python-sat","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python39Packages.python-sat","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}