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