rsat

rsat is used at run time in 3 crates.

Number of dependers	rsat version	Downloads/month
2	0.1.12	5
1	0.1.6	0

Depender (with downloads and own rev deps)			rsat version
	1	msat		=0.1.12
		solhop		=0.1.12
		rsat-cli		=0.1.6