feat: Implement JingleDisplay for SmtValuationState (#157) #708

Job	Run time
linux (ubuntu-22.04, x86_64)	5m 41s
macos (macos-14, aarch64, 3.12)	1m 49s
macos (macos-14, aarch64, 3.11)	1m 59s
macos (macos-14, aarch64, 3.13)	1m 56s
Build wheel on ${{ matrix.platform.name }}	0s
sdist	22s
	11m 47s

Provide feedback