nixsearch
nixsearch / pkg / arjun-cnf / 2.5.2

arjun-cnf 2.5.2

CNF minimizer and minimal independent set calculator
Linux last changed

Pin this version

$ devbox add arjun-cnf@2.5.2
systemsaarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#arjun-cnf

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 arjun-cnf 02f5696b0e60
out
/nix/store/0a33v2xc2kjvyhqiwfs0z82qxj6g53n5-arjun-cnf-2.5.2
x86_64-linux
Linux · x86-64		 arjun-cnf 02f5696b0e60
out
/nix/store/y1wpvcsgcynvgjb3bjczp28js7j5pm3q-arjun-cnf-2.5.2
all 1 releases

JSON: /v2/pkg?name=arjun-cnf · /v2/resolve?name=arjun-cnf&version=2.5.2