{"name":"arjun-cnf","version":"2.5.2","summary":"CNF minimizer and minimal independent set calculator","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"arjun-cnf"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/ywxxqnm55kdbj03428lmiv5936dyrsja-arjun-cnf-2.5.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"arjun-cnf"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/hvdxwk0bh0mxg3jip1pxz9l2agf66gfy-arjun-cnf-2.5.2","default":true}]}}}