{"name":"python39Packages.python-sat","version":"0.1.6.dev6","summary":"Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"python39Packages.python-sat"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"python39Packages.python-sat"},"last_updated":"2021-12-03T17:41:48Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2df15ba83d0510a56f2583fd3481723835acb5a1"},"attr_path":"python39Packages.python-sat"},"last_updated":"2021-12-03T17:41:48Z"}}}