nixpkgs/pkgs/tools/misc/clasp
..
default.nix opam, aspcud: init packages for external solver (#16938) 2016-09-12 10:44:50 +02:00