nixsearch
nixsearch / pkg / aspino / 2018-03-24

aspino 2018-03-24

SAT/PseudoBoolean/MaxSat/ASP solver using glucose
Linux and macOS last changed

Pin this version

$ devbox add aspino@2018-03-24
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita421ac6595024edcfbb1ef950a3712b89161c359 
$ nix shell github:NixOS/nixpkgs/a421ac6595024edcfbb1ef950a3712b89161c359#aspino

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 aspino a421ac659502
out
/nix/store/qfz3zndbmrc74bcsrkyzzhi100dywdjp-aspino-unstable-2018-03-24
aarch64-linux
Linux · arm64		 aspino a421ac659502
out
/nix/store/vp907r6faw29grmlwxfxyjdc5idyfsdy-aspino-unstable-2018-03-24
x86_64-darwin
macOS · x86-64		 aspino a421ac659502
out
/nix/store/swq1mnvqfci4yngjg8ijhpqvrfabnm6i-aspino-unstable-2018-03-24
x86_64-linux
Linux · x86-64		 aspino a421ac659502
out
/nix/store/nlg7h1bcfrxrccw458gyfkcvzkwgqcnp-aspino-unstable-2018-03-24
all 3 releases older: 2017-03-09 →

JSON: /v2/pkg?name=aspino · /v2/resolve?name=aspino&version=2018-03-24