Add a method to directly resolve SAWCore names by URI
Add a method to directly resolve SAWCore names by URI

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script