Package herd contains the parts of a Herdtools backend specific to herd7.

Package litmus contains the parts of a Herdtools backend specific to litmus7.

Package parser contains logic for parsing Herd-style observations.

Package rmem implements rudimentary backend support for RMEM.

Backend represents instantiated herd-style backends.

Class represents a class of herd-style backends such as Herd and Litmus.

BackendImpl describes the functionality that differs between Herdtools-style backends.