Add an `Array` sort in the new SMT backend#6965

Merged

NlightNFotis merged 1 commit intodiffblue:developfrom

NlightNFotis:array_declaration_conversion

Jun 27, 2022

Commits on Jun 27, 2022

Add an `Array` sort in the new SMT backend, along with unit tests for the sort and its printing.

NlightNFotis
and
Enrico Steffinlongo
committed