Reverse Dependencies of momba

The following projects have a declared dependency on momba:

• racetrack — A formal model of the Racetrack benchmark.