McMini is a free and open-source model checker of about 5,000
lines of code (not including its test suite). It is based on
DPOR (Dynamic Partial Order Reduction) [1]}
(see Section  for background).
Its small size and object-oriented design is intended to allow others
to easily modify it. Yet its implementation includes common performance
optimizations suggested in the original DPOR paper, such as sleep sets
and clock vectors.
