{"name":"ddsmt","summary":"Delta debugger for SMT benchmarks in SMT-LIB v2","description":"","homepage_url":"https://ddsmt.readthedocs.io/","license":"GPL-3.0-or-later","attribute_paths":["ddsmt"],"releases":[{"version":"2.0.3","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ddsmt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7rqc7hx60mfq71zj7wb8hm6rnwhlvx1h-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/plf49xfi9qdg6h3l9qrn64sd0p1l5ipg-ddsmt-2.0.3-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ddsmt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/pjgja0c2cd7kd0x362hjikkavd2mk7x9-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/1wy5xf7ggsrl9650a91p3sh0c3hr5max-ddsmt-2.0.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ddsmt","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/v703nc5n2m2vbgsacyirfy9w2mf6lqnn-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/srp2bdmgig6qix5f9lf2vh9bci0bbwj5-ddsmt-2.0.3-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ddsmt","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bfrly1gchz26z97jrsw328svzdmkmsaz-ddsmt-2.0.3","default":true},{"name":"dist","path":"/nix/store/fkgky99d96yvyzcmk3sp73qv8398nlq3-ddsmt-2.0.3-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}