Print models according to SMTLIB standard#64

Merged

pruemmer merged 3 commits intouuverifiers:masterfrom sankalpgambhir:model-printing-fix2

Sep 18, 2024

+714-579

Commits on Sep 17, 2024

Print models as s-lists
sankalpgambhir
committed

Commits on Sep 18, 2024