AdaCore Gnat Pro software licenses

This opportunity is for the procurement of AdaCore Gnat Pro software licenses in support of the LHD/A Machinery Control Systems (MCS) Tech Refresh software development. The buyer is looking for an authorized reseller of AdaCore, and the vendor must provide the correct part number, material, and proof of authorization with their quote submission. The key aspects of this job include providing the required software licenses and ensuring that the vendor is authorized to sell AdaCore products. • The procurement is for a specific brand, AdaCore Gnat Pro software licenses. • The vendor must be an authorized reseller of AdaCore. • The vendor must provide the correct part number and material with their quote submission. • The vendor must provide proof of authorization with their quote submission.