cadical 1.9.1

Simplified Satisfiability Solver

Linux and macOS last changed 2023-12-20 outputs: out, dev, lib

Pin this version

$ devbox add cadical@1.9.1

systemsaarch64-darwin, x86_64-darwin commit7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640

$ nix shell github:NixOS/nixpkgs/7c33cd6bf01cf09f77bfdf6741cddfffa2cd5640#cadical

systemsaarch64-linux commitca16221251951e9c6261a1a2bb4f9389038d3632

$ nix shell github:NixOS/nixpkgs/ca16221251951e9c6261a1a2bb4f9389038d3632#cadical

systemsx86_64-linux commitdd8e82f3b4017b8faa52c2b1897a38d53c3c26cb

$ nix shell github:NixOS/nixpkgs/dd8e82f3b4017b8faa52c2b1897a38d53c3c26cb#cadical

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`cadical`	7c33cd6bf01c	2023-12-20	`out` /nix/store/ygmi7yl56rjdd9xpjx1jvmifnina3ncw-cadical-1.9.1 `dev` (not default) /nix/store/plpf9k0lgrng46xfy7y2id00yf4dlb6k-cadical-1.9.1-dev `lib` (not default) /nix/store/0j0ajg63r2s1gqd83vfv91v4ly7514gi-cadical-1.9.1-lib
`aarch64-linux` Linux · arm64	`cadical`	ca1622125195	2023-12-18	`out` /nix/store/lb420i29l2w5zgxxlsdvdh82f3s5bwmv-cadical-1.9.1 `dev` (not default) /nix/store/4ngi7s9y13rjbml41bj8qln4g9rgaa2y-cadical-1.9.1-dev `lib` (not default) /nix/store/0g0gvz48fk0sy0rhqywswyshszax1ffs-cadical-1.9.1-lib
`x86_64-darwin` macOS · x86-64	`cadical`	7c33cd6bf01c	2023-12-20	`out` /nix/store/nrsc1h5a58dg7yqymyg1f50mi3skjjnp-cadical-1.9.1 `dev` (not default) /nix/store/2d0a1apzlxg11bnapd169ivmmgql8qdf-cadical-1.9.1-dev `lib` (not default) /nix/store/aznl9y63pmfdbyzvqm2g2jlz7mcg8yjs-cadical-1.9.1-lib
`x86_64-linux` Linux · x86-64	`cadical`	dd8e82f3b401	2023-12-18	`out` /nix/store/0ab4h31zmskf6cgml8br5w58h2ws4s4s-cadical-1.9.1 `dev` (not default) /nix/store/fg3d632sc15prcvqc1qpfaq0q2calnr8-cadical-1.9.1-dev `lib` (not default) /nix/store/rx441y8vkpqp1lgmd49fxww44d1ayr7l-cadical-1.9.1-lib