{"name":"glucose","summary":"Modern, parallel SAT solver (sequential version)","description":"","homepage_url":"https://www.labri.fr/perso/lsimon/research/glucose/","license":"MIT","attribute_paths":["glucose"],"releases":[{"version":"4.2.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"glucose","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/c31miapzcpbyfgv7l7qkhhy88vdi95jz-glucose-4.2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"glucose","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zag4a9pv769s155gi7pd9kfm2q9wcl2b-glucose-4.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"glucose","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/w5vdgw99p3qf79lrfbqvv9mh9qi4mk4i-glucose-4.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"glucose","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/274hjl0drdc92j66lq545i900wr49pjb-glucose-4.2.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.1","last_updated":"2023-03-28T10:29:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"glucose","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/b42xldlc8vgsvj8r0b073x7sllw2ywbj-glucose-4.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"glucose","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/30r5rnqixll78x6ccyy36q4jy5xywhi7-glucose-4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"glucose","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/5a4d27h90y9nq73q758z4nhz2bxi4dl2-glucose-4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"glucose","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/k4g5q2d9rjj0irdr47npfd339sq595d3-glucose-4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}