nixsearch
nixsearch / pkg / aspino / 2017-03-09

aspino 2017-03-09

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

Pin this version

$ devbox add aspino@2017-03-09
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitd59a6c12647f8a31dda38599c2fde734ade198a8 
$ nix shell github:NixOS/nixpkgs/d59a6c12647f8a31dda38599c2fde734ade198a8#aspino

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 aspino d59a6c12647f
out
/nix/store/pj5bsnxp7vjq6haiin9nfm7bxcqbfzkk-aspino-unstable-2017-03-09
x86_64-darwin
macOS · x86-64		 aspino d59a6c12647f
out
/nix/store/bfqvp8n9k63019qfyimxbwhar8c6d6qg-aspino-unstable-2017-03-09
x86_64-linux
Linux · x86-64		 aspino d59a6c12647f
← newer: 2018-03-24 all 3 releases older: 0-unstable-2018-03-24 →

JSON: /v2/pkg?name=aspino · /v2/resolve?name=aspino&version=2017-03-09