{"name":"aspino","version":"2017-03-09","summary":"SAT/PseudoBoolean/MaxSat/ASP solver using glucose","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d59a6c12647f8a31dda38599c2fde734ade198a8"},"attr_path":"aspino"},"last_updated":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/pj5bsnxp7vjq6haiin9nfm7bxcqbfzkk-aspino-unstable-2017-03-09","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d59a6c12647f8a31dda38599c2fde734ade198a8"},"attr_path":"aspino"},"last_updated":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/bfqvp8n9k63019qfyimxbwhar8c6d6qg-aspino-unstable-2017-03-09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d59a6c12647f8a31dda38599c2fde734ade198a8"},"attr_path":"aspino"},"last_updated":"2022-05-09T14:04:44Z"}}}