refactor: simplify smt valuation names and make them unique (#154) #696

Job	Run time
sdist	26s
linux (ubuntu-22.04, x86_64)	5m 58s
macos (macos-14, aarch64, 3.11)	1m 44s
macos (macos-14, aarch64, 3.13)	2m 36s
macos (macos-14, aarch64, 3.12)	2m 9s
Build wheel on ${{ matrix.platform.name }}	0s
	12m 53s

Provide feedback