{"name":"python37Packages.python-sat","version":"0.1.6.dev6","summary":"Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5df05c902cde398e056eb6271d5fe13e418db4c6"},"attr_path":"python37Packages.python-sat"},"last_updated":"2021-02-27T20:39:16Z"}}}