Reverse Dependencies of sat

The following projects have a declared dependency on sat: