lint

Added support for hashmaps in `Smt` and `SimpleSmt` #210

Job	Run time
check rust version consistency	2s
rustfmt check nightly on ubuntu-latest	13s
doc stable on ubuntu-latest	43s
clippy nightly on ubuntu-latest	34s
	1m 32s

Provide feedback