This package contains the documentation of maria, a reachability analyzer for algebraic system nets, both in the formats info and html.