nixsearch
nixsearch / pkg / cadical / 3.0.1

cadical 3.0.1

Simplified Satisfiability Solver
Linux and macOS (Apple Silicon only) last changed outputs: out, dev, lib

Pin this version

$ devbox add cadical@3.0.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#cadical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 cadical b6c8664de9b6
out
/nix/store/ir7hkdcghxph04d07pgqhg2908nlsgxg-cadical-3.0.1
dev (not default)
/nix/store/73wp8sqkz7fx401rkhwcajlbn8z26vi8-cadical-3.0.1-dev
lib (not default)
/nix/store/fm86cly369df38q5c4bizwq4bx3k3mvh-cadical-3.0.1-lib
aarch64-linux
Linux · arm64		 cadical b6c8664de9b6
out
/nix/store/x2w4vw99gn028dqks7j38fmwpz02fghv-cadical-3.0.1
dev (not default)
/nix/store/gi6llzpib5a67751lzks6w2rx7g4gsn5-cadical-3.0.1-dev
lib (not default)
/nix/store/8y3idrzrq7lzcpvj5qjsihzzj92qw88q-cadical-3.0.1-lib
x86_64-linux
Linux · x86-64		 cadical b6c8664de9b6
out
/nix/store/ic49l9ss5nwr4nkvbij92z8s7w693p5j-cadical-3.0.1
dev (not default)
/nix/store/v5mwrmcmgw01ixdprbrq7km0kcmh15bk-cadical-3.0.1-dev
lib (not default)
/nix/store/mg7jdss10vca4nn0ahn5z5rpyh9sgdrc-cadical-3.0.1-lib
all 19 releases older: 3.0.0 →

JSON: /v2/pkg?name=cadical · /v2/resolve?name=cadical&version=3.0.1