/pkgs/applications/science/logic/clprover/
../
clprover.nix