{"name":"python27Packages.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":["python27Packages.python-sat"],"releases":[{"version":"0.1.6.dev6","last_updated":"2020-11-22T19:04:20Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python27Packages.python-sat","commit_hash":"272744825d28f9cea96fe77fe685c8ba2af8eb12","date":"2020-11-22T19:04:20Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}