Btormc Support for Multi-dimensional Arrays

[xjiang47]

I am currently working on a project where I translate verification problems for C programs into Btor2 files.

I produce Btor2 files that use multi-dimensional arrays.

Calling btormc on the Btor2 file below yields the following error message:
[boolector] boolector_array_sort: 'element' is not a bit vector sort

1 sort bitvec 64
2 sort bitvec 1
3 sort array 1 1
4 sort array 1 3

How can I use btormc with multi-dimensional arrays?

[mpreiner]

You can't because Boolector does not support multi-dimensional arrays.

[mpreiner]

Boolector is not actively maintained and developed anymore. It was succeeded by Bitwuzla and the repository is now archived.