Reverse Dependencies of avatar2

The following projects have a declared dependency on avatar2:

• sema-toolchain — Python symbolic execution package