Improvements to smtbmc/witness to support counter-example enumeration#4078

Merged

nakengelhardt merged 3 commits intoYosysHQ:masterfrom jix:smtbmc-cexenum-support

Dec 18, 2023

+92-16

Commits on Dec 14, 2023