use array const-like model for arrays

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

363 stars 45 forks source link

use array const-like model for arrays #445

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

Updates array model printing according to the SMTLIB format.

coveralls commented 1 year ago

Coverage: 64.194% (-0.04%) from 64.234% when pulling a0d342d35f8f6788caba60dc452981f8a77a23aa on fix-array-model-print-smt2 into 36cee66d04de90da35fab6131bebdc45b6d74342 on master.

ahmed-irfan commented 1 year ago

DO NOT MERGE

This also changes how UF models are printed