{"name":"cvise","summary":"Super-parallel Python port of C-Reduce","description":"","homepage_url":"https://github.com/marxin/cvise","license":"NCSA","attribute_paths":["cvise"],"releases":[{"version":"2.12.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mmcwrayj0p7nyvv9knn5jgng8rb0s4ny-cvise-2.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/imfhbbwwppyhadgxaaqf1slf69pkpkz8-cvise-2.12.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.11.0","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/1xs860q7painw54ysifqicgbmjdqrhci-cvise-2.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/dy1vknkb891qgqs47bym7yg56mgcl118-cvise-2.11.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.10.0","last_updated":"2024-11-03T14:18:04Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/4mn013h9yh50kyqpxzlzzn97r8fqgb9s-cvise-2.10.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"4ae2e647537bcdbb82265469442713d066675275","date":"2024-11-03T14:18:04Z","outputs":[{"name":"out","path":"/nix/store/dkyvpl18fdkvjmf4jag5mc2ynvccl3z5-cvise-2.10.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.9.0","last_updated":"2024-03-08T13:51:52Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/qnipzxbbkbis542lvbqxmjlrrf215922-cvise-2.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/267k7kdi7j3akzpfw9z6k43w30g28xlr-cvise-2.9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.8.0","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/s8ypvykrmj4ca9gisvdajlyqkhv156bg-cvise-2.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/vdnw0x5y38bgrrfgmr13hdf3q8083r4a-cvise-2.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.7.0","last_updated":"2023-04-28T21:17:46Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"358a179550508bf2dafdf1657a94b7f65d91c4bf","date":"2023-04-28T21:17:46Z","outputs":[{"name":"out","path":"/nix/store/65h0zj6br1m7cnkzpdqipmxparjqilmp-cvise-2.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"358a179550508bf2dafdf1657a94b7f65d91c4bf","date":"2023-04-28T21:17:46Z","outputs":[{"name":"out","path":"/nix/store/lm2vk27v0xr87bi04m2la7vdj5avhsak-cvise-2.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.0","last_updated":"2022-12-17T09:19:40Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/7ipihrzbjsrf0m98iap6s7nzg7r89rcv-cvise-2.6.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"80c24eeb9ff46aa99617844d0c4168659e35175f","date":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/20xf1il737411b5v8z3j7w9dyi56avlw-cvise-2.6.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.5.0","last_updated":"2022-10-06T11:36:05Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/6fksaa8qprdzfs4vyxq8g55mkapzzacv-cvise-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"27a89ba43b0fb735ce867e8ab3d2442f8cc61dad","date":"2022-10-06T11:36:05Z","outputs":[{"name":"out","path":"/nix/store/aq2yl2i7cbpdv9r7jyvwbp7ga069j1jr-cvise-2.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.0","last_updated":"2022-08-27T08:52:24Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cvise","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/sn785l13fqbsqfp6l3pvwv44ngljm2xn-cvise-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/v4y95q23v70iyhly2d10szdx8ks5cmz6-cvise-2.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.0","last_updated":"2021-11-29T12:42:14Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"f366af7a1b3891d9370091ab03150d3a6ee138fa","date":"2021-11-29T12:42:14Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.2.0","last_updated":"2021-03-08T20:48:59Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"0867f62742476f513e39113e643d9f1612b31133","date":"2021-03-08T20:48:59Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.0","last_updated":"2021-03-02T11:25:50Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cvise","commit_hash":"d12574353329291e661805312544b1c68c13911e","date":"2021-03-02T11:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}