trying a new approach to getting SMT solving to work, by substiting uninterpreted functions in place of variable-length vectors
trying a new approach to getting SMT solving to work, by substiting uninterpreted functions in place of variable-length vectors

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