28 USC 2517 - Payment of judgments

(a) Except as provided by the Contract Disputes Act of 1978, every final judgment rendered by the United States Court of Federal Claims against the United States shall be paid out of any general appropriation therefor, on presentation to the Secretary of the Treasury of a certification of the judgment by the clerk and chief judge of the court.
(b) Payment of any such judgment and of interest thereon shall be a full discharge to the United States of all claims and demands arising out of the matters involved in the case or controversy, unless the judgment is designated a partial judgment, in which event only the matters described therein shall be discharged.