{"name":"kissat","summary":"'keep it simple and clean bare metal SAT solver' written in C","description":"Kissat is a \"keep it simple and clean bare metal SAT solver\" written in C.\nIt is a port of CaDiCaL back to C with improved data structures,\nbetter scheduling of inprocessing and optimized algorithms and implementation.","homepage_url":"https://fmv.jku.at/kissat","license":"MIT","attribute_paths":["kissat"],"releases":[{"version":"4.0.4","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/grhkpkqr41ahn5g2sv2rlk96pi9qvnad-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/nkgq2n26fb81xvl84pksf8szszp1a25s-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/b6fvgfcc6401v3dzki28qdckk6xhq6yb-kissat-4.0.4-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/76kbpgcpd6gn411iy0rq792sjzbwm4mn-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/rj1l02hxhnl052qpy30mmnc9cqqb0dfz-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/zx5584ix2xx841szbmp5a823zxwq18ax-kissat-4.0.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"6edbf1a6a03e75886a6609c088801a0856449e88","date":"2026-07-05T01:29:37Z","outputs":[{"name":"out","path":"/nix/store/15bimrirfbm0vl0mygwcgggsh8sc0man-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/9icm76rfnrz1kqjnx2q4jxf3s5254q6a-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/8l59nrf1m714pz5990rayqffbh6dx91b-kissat-4.0.4-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/r2yzalfqqljkqdgjp6j0kn5i2bm5g9z0-kissat-4.0.4","default":true},{"name":"dev","path":"/nix/store/rzqzaph221p165fv54gb9jvbsc6afns4-kissat-4.0.4-dev"},{"name":"lib","path":"/nix/store/4lxhxzm9bpvg8m2p0k273wgrhimvrkyg-kissat-4.0.4-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.0.3","last_updated":"2025-10-14T12:01:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"2ea123939c5cb71d2761896c27e475aeab266364","date":"2025-10-14T12:01:24Z","outputs":[{"name":"out","path":"/nix/store/cai0af5gjrq69sphmkay4s02ygar2l9g-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/jsc522ihqzppa0b5wp83pnvy7a7p81bm-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/gl28j7p49f0fccfy75h8nkxb3m7n0gk7-kissat-4.0.3-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"832e3b6db48508ae436c2c7bfc0cf914eac6938e","date":"2025-10-12T08:13:11Z","outputs":[{"name":"out","path":"/nix/store/fz9ik6yf1syjrx8brzhmv15g28imfca8-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/7xzkjzh5k8ca9af7r9jn139yhj6l24i4-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/43ina7nq41dcavpxkdh4z5drr2y272ms-kissat-4.0.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"c12c63cd6c5eb34c7b4c3076c6a99e00fcab86ec","date":"2025-10-13T09:56:54Z","outputs":[{"name":"out","path":"/nix/store/8nj87saa3vw12y3lscbrxqbk0qr4492q-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/rga6529w0h8n4w9jawj3jd8jzsffgcd2-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/7kc9w2f3rarb5vz2h0nqjy9k8ccjl5va-kissat-4.0.3-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"bce5fe2bb998488d8e7e7856315f90496723793c","date":"2025-10-07T08:41:47Z","outputs":[{"name":"out","path":"/nix/store/a7b7j9q09qa2l4pk2vrdniix79faq8rr-kissat-4.0.3","default":true},{"name":"dev","path":"/nix/store/kq38fi5md6yqpmwvhk8h0dnahzk5d3ms-kissat-4.0.3-dev"},{"name":"lib","path":"/nix/store/8gc9h30mp10f9rhwfs376dpjf8ar48xp-kissat-4.0.3-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.0.2","last_updated":"2025-07-07T11:34:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"2defa37146df235ef62f566cde69930a86f14df1","date":"2025-07-07T01:36:15Z","outputs":[{"name":"out","path":"/nix/store/xqm3nz1jnffw0bcwwgf7a9dawzw9hb9l-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/6aznjh9dg7g791l43spadzvazmn96j6z-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/aa552xxr7j8rkapy0xhjpsx27d35c7pc-kissat-4.0.2-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"322d8a3c6940039f7cff179a8b09c5d7ca06359d","date":"2025-06-26T00:46:18Z","outputs":[{"name":"out","path":"/nix/store/amywcqpk85jjfkgqms9bz8fls7031jdb-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/q1kvvk1ivwvlj7vhgnxqsh9j993nkrvw-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/rm25vwhdfi548n0cnnqb6z7f0rb35nmw-kissat-4.0.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"0acc6a91343eb987397c27044a8d1fbcb374c265","date":"2025-07-07T11:34:27Z","outputs":[{"name":"out","path":"/nix/store/zwqvj35ik2rrsji1ybp106xkdyyjsv77-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/vham6w3nm05cpaasa6ag1z8wkrb5n8q4-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/11lmqk3jw6lh19ybi4cdva26s1rxdz3x-kissat-4.0.2-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"c860cf0b3a0829f0f6cf344ca8de83a2bbfab428","date":"2025-07-04T10:39:05Z","outputs":[{"name":"out","path":"/nix/store/ip2l97xcqfcs8m0vn4r3g3jbx0lrvss1-kissat-4.0.2","default":true},{"name":"dev","path":"/nix/store/4r4jlbdcmcbr0b59laj8bc73criikrbz-kissat-4.0.2-dev"},{"name":"lib","path":"/nix/store/yvj2ns8fcfjysrz0cj1xybikyh7a96i1-kissat-4.0.2-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"4.0.1","last_updated":"2025-01-26T08:24:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"b582bb5b0d7af253b05d58314b85ab8ec46b8d19","date":"2025-01-25T23:17:58Z","outputs":[{"name":"out","path":"/nix/store/ba1dj9hz57lz9663k3v1mnsyl8cl2m30-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/6954zkparkcfnpxgvv2cqx735hbaq0ss-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/f1k08mgpm1fr0f67p85666pfdi5jb14q-kissat-4.0.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"e1996d7bdaf4eafdb85690079b9e02b25dc14e4f","date":"2025-01-21T12:51:11Z","outputs":[{"name":"out","path":"/nix/store/dv6b9f0fd83ns53ip70ipdnmlj2ngcnf-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/zbbk442n449hn42g5jpjjmn4phl4q411-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/gysq4nk4sqnhrd831vanlm14mkg891s0-kissat-4.0.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"5d3221fd57cc442a1a522a15eb5f58230f45a304","date":"2025-01-26T08:24:11Z","outputs":[{"name":"out","path":"/nix/store/0f01wvv8l747iawl7prhw9rw2wwbs4aa-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/6xl52im457v47yn47597pwinf3jg4dfm-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/qih562gks5akan9326pdp6qri0mj47vf-kissat-4.0.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"606996d74f6e2a12635d41c1bf58bfc7ea3bb5ec","date":"2025-01-22T14:55:48Z","outputs":[{"name":"out","path":"/nix/store/fkb3wc59vd8idpk8phk8cwnwgcilqb1m-kissat-4.0.1","default":true},{"name":"dev","path":"/nix/store/f8qi9wi2ysrd0l315fd3s4x9sf2g035j-kissat-4.0.1-dev"},{"name":"lib","path":"/nix/store/0bsfi56h1v6l3yikf7k8ld6360m4c4n8-kissat-4.0.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.1.1","last_updated":"2024-10-15T08:13:08Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/7bccgmczkwikil6ppqvrjrmc7j6sq4ir-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/0mmkqbmcrji9fm2p2zanm8h1zgha5maf-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/4p6ryak4phi8plxwdh31mqr4xsw96v18-kissat-3.1.1-dev"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/2v27cmxk7ibdvvy762iq9avs5x1k8axf-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/pcnilbkcl0bqgmzrqd3k3830gybvj2hh-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/3yxnxsydgzxihz6w0qlz90fcij3r3kd9-kissat-3.1.1-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/qdpx635ap497iamrlkwfppyfa11k5sbw-kissat-3.1.1","default":true},{"name":"dev","path":"/nix/store/a9jmpkz2p9xrjw04nb1bqjfdifjw6772-kissat-3.1.1-dev"},{"name":"lib","path":"/nix/store/4bwfr5c2cbhvpv672sd43lnzvirfk2md-kissat-3.1.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"7881fbfd2e3ed1dfa315fca889b2cfd94be39337","date":"2024-10-15T08:13:08Z","outputs":[{"name":"out","path":"/nix/store/bwwwdd03xxakqmvn53d97lbnr9vjkm64-kissat-3.1.1","default":true},{"name":"lib","path":"/nix/store/8bz3rpn8ilgvda6cfsg640vi7zdqcpnw-kissat-3.1.1-lib"},{"name":"dev","path":"/nix/store/zl4k0w5bcrzx3450hsx8ks3bibmsbhjl-kissat-3.1.1-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.1.0","last_updated":"2023-10-04T11:30:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"d1c9180c6d1f8fce9469436f48c1cb8180d7087d","date":"2023-10-04T02:19:08Z","outputs":[{"name":"out","path":"/nix/store/sgjfmxhyhsqpy2xyz18ra1vvjy2v83mm-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/rfpvf6fdhrv6cg02zh4xkbggns9swgrf-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/ddn1wv15jrpg418s4vjpzk9m8bpnk5s7-kissat-3.1.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"7131f3c223a2d799568e4b278380cd9dac2b8579","date":"2023-10-04T11:30:54Z","outputs":[{"name":"out","path":"/nix/store/vlv730wcjbrdh93lridm44wrmw9mxd4z-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/rnr527rnb36bjpvj30ywnvam2lbnydw8-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/8md6m5j7byav9bn39ns627v82gv0gv1b-kissat-3.1.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"f8be2c43b4b1c1aec02f741ae909696b8410ebc1","date":"2023-10-01T23:11:39Z","outputs":[{"name":"out","path":"/nix/store/p6854mf153s0805fp0wshppsg2m10w2x-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/jm74mppvx3dyn5ll6mnz2dwf359y3v84-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/ggirqwmlg9w7j15ds1q2flpcqqbqa9lk-kissat-3.1.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"7131f3c223a2d799568e4b278380cd9dac2b8579","date":"2023-10-04T11:30:54Z","outputs":[{"name":"out","path":"/nix/store/53yvikhzqycpn60vrl74h4kc8xaqm7g9-kissat-3.1.0","default":true},{"name":"dev","path":"/nix/store/qvgsqq7g8rzy9spdw74bzrfz3hz4x4b8-kissat-3.1.0-dev"},{"name":"lib","path":"/nix/store/sw5z0x4y0ic54b8nifpmc5qcfi0q8lif-kissat-3.1.0-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"3.0.0","last_updated":"2023-09-04T16:24:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"d816b5ab44187a2dd84806630ce77a733724f95f","date":"2023-09-03T04:15:46Z","outputs":[{"name":"out","path":"/nix/store/abrjv19zvkqkk4a16z12vmiqr7r4ifxl-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/423ira0w9ydh9lqlncbc5yl0lh9fv1rk-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/6afr654xa06d0fnadg76ypgc11awf1lm-kissat-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"d816b5ab44187a2dd84806630ce77a733724f95f","date":"2023-09-03T04:15:46Z","outputs":[{"name":"out","path":"/nix/store/gr79kpvzqni6jciix6vwggfmk1m1ckx1-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/mm4f75ixfjr8ff5n4npc0q7mscd7h01r-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/423zrhbn835ffq2j2lpx62pnbygjgwwk-kissat-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"fd8ad63083882605e8a7f659be6c9509e6e28d28","date":"2023-09-01T10:23:10Z","outputs":[{"name":"out","path":"/nix/store/6y6d6l3ly6mnfqpcddwzrgpsj5276785-kissat-3.0.0","default":true},{"name":"dev","path":"/nix/store/ynhinzf71z2gmgz4hrryxzmrdy58148j-kissat-3.0.0-dev"},{"name":"lib","path":"/nix/store/vh1svd0jxbybjic0w54f94yai0m6dzbk-kissat-3.0.0-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"3c15feef7770eb5500a4b8792623e2d6f598c9c1","date":"2023-09-04T16:24:30Z","outputs":[{"name":"out","path":"/nix/store/bnwx80mqryrd9sw8inkzcw3gp84m78pf-kissat-3.0.0","default":true},{"name":"lib","path":"/nix/store/lkrgjhb11jxxprm7q71m0biq0hinwn9c-kissat-3.0.0-lib"},{"name":"dev","path":"/nix/store/x18vr01ydfgrz7jp5qrbxq210zqqv7py-kissat-3.0.0-dev"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.1","last_updated":"2022-09-02T05:30:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"kissat","commit_hash":"c3e4dc4f6d23c7e41dda5ce98956c75c7779e2fa","date":"2022-08-29T18:59:28Z","outputs":[{"name":"out","path":"/nix/store/q5fba1s49nrwk6a86v54yvl74klzsaw4-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/8mfsydiv2xnm4n7x8p2cc862shvh6jc6-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/ndr7jkvc2aimka64czs5ljd5jl9hc1aa-kissat-2.0.1-lib"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"kissat","commit_hash":"21de2b973f9fee595a7a1ac4693efff791245c34","date":"2022-09-02T05:30:12Z","outputs":[{"name":"out","path":"/nix/store/ic5cp93kk8y6f02zvxmmp264yvs7nv94-kissat-2.0.1","default":true},{"name":"lib","path":"/nix/store/8bnzd1vxfgfpirhp7lnhd4s3hbf0xcdk-kissat-2.0.1-lib"},{"name":"dev","path":"/nix/store/mdqiqkwmmf6gq7z2rfkhilchb4yxvch0-kissat-2.0.1-dev"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"kissat","commit_hash":"adf66cc31390f920854340679d7505ac577a5a8b","date":"2022-08-28T16:41:57Z","outputs":[{"name":"out","path":"/nix/store/s4jw3pvkf8ry0l58imr81yx7kkjjv2jd-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/mplcsk3p5zgaw0xcpwb9ps2bbxy9cb8q-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/zxwmgx2alqhszp3lh9kz2dmps9mmj2q9-kissat-2.0.1-lib"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"kissat","commit_hash":"88664ff8498c01e5054474a5a575956befca94c1","date":"2022-08-28T09:45:08Z","outputs":[{"name":"out","path":"/nix/store/jd63ll697mllppqhyh2vy0grxm3k44ns-kissat-2.0.1","default":true},{"name":"dev","path":"/nix/store/yqrgv0yw97brpzjpx49bpjb7n2kgrpgw-kissat-2.0.1-dev"},{"name":"lib","path":"/nix/store/spgh6b7mif7lxyw2w1x6zqf1apczki4a-kissat-2.0.1-lib"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dev, lib","prerelease":false,"broken":false,"insecure":false}]}