{"name":"python38Packages.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":["python38Packages.python-sat"],"releases":[{"version":"0.1.7.dev1","last_updated":"2022-01-01T05:55:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python38Packages.python-sat","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python38Packages.python-sat","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python38Packages.python-sat","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","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":"python38Packages.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":"python38Packages.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":"python38Packages.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}]}