Original: He gave the company "Symbolics" some software with the public domain license.
Simplified: He had given the company "Symbolics" some software with a public domain copyright.