fix #320: print the SMT model in comments rather than in plain output#326

Merged

konnov merged 1 commit intounstablefrom ik/fix320

Nov 9, 2020

+2-2

Commits on Nov 9, 2020

fix #320 : print the SMT model in comments rather than in plain output
konnov
committed