lingeling 1.0.0

Fast SAT solver

Linux and macOS last changed 2026-09-29 outputs: out, dev, lib

Pin this version

$ devbox add lingeling@1.0.0

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#lingeling

systemsx86_64-darwin commit19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b

$ nix shell github:NixOS/nixpkgs/19a8a1e6d8b7315b6fd84e5a51977ce6f69d5a5b#lingeling

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`lingeling`	b6c8664de9b6	2026-09-29	`out` /nix/store/a8mri74jvica7ivvx3r5q5n93iywwgff-lingeling-1.0.0 `dev` (not default) /nix/store/gz8l1p9cgxxg687z26lj5rwm490wsn9r-lingeling-1.0.0-dev `lib` (not default) /nix/store/gbpc6g545p9pgl2kqlpi90hghnjjvp5w-lingeling-1.0.0-lib
`aarch64-linux` Linux · arm64	`lingeling`	b6c8664de9b6	2026-09-29	`out` /nix/store/wkqf0dp1m25h5hwcxzjml9cwgrhyv0dd-lingeling-1.0.0 `dev` (not default) /nix/store/lk21dw6c9vizm0cw3bm80yparlzdp3rm-lingeling-1.0.0-dev `lib` (not default) /nix/store/6m1p8sqk5iajpxj9aivmz9rb0fx70djb-lingeling-1.0.0-lib
`x86_64-darwin` macOS · x86-64	`lingeling`	19a8a1e6d8b7	2026-07-04	`out` /nix/store/czc1x4afpcz8k6yqrzgyzd0p7j0z6dbz-lingeling-1.0.0 `dev` (not default) /nix/store/vii27m7jgbqbrqp5dldk5y7rhswpbhpp-lingeling-1.0.0-dev `lib` (not default) /nix/store/8x59hl8pn0f3midh2ywqlr7a59bw90gs-lingeling-1.0.0-lib
`x86_64-linux` Linux · x86-64	`lingeling`	b6c8664de9b6	2026-09-29	`out` /nix/store/a6jiwb1mgfj496c7d980jr85bkkl0vgv-lingeling-1.0.0 `dev` (not default) /nix/store/31njnh64zz63r6f83z78y55gdh715hpb-lingeling-1.0.0-dev `lib` (not default) /nix/store/wm3mn79y59ji4yijb927k22i0icqybvh-lingeling-1.0.0-lib