Although it is written in the "LICENSE" file for purposes of uniformity and GitHub compatibility, a dedication to the Public Domain is not a "license". As you can see, they waive all their rights to claim copyright protection, and therefore, no license is possible; no license is necessary to use it for any purpose.

And yes, "As a work of the US Government" it is dedicated to the Public Domain by law.